utility kilt subgroup of kilt, 2 assertions