roofing slate subgroup of slate, 2 assertions