roof tile subgroup of tile, 7 assertions