public toilet subgroup of toilet, 3 assertions