piece toilet subgroup of toilet, 11 assertions