standard toilet subgroup of toilet, 2 assertions