I think here I was still thinking about kind1 but maybe a different kind makes more sense to be explicit