main pyramid subgroup of pyramid, 2 assertions