single pup subgroup of pup, 1 assertions