round pan subgroup of pan, 1 assertions