step pyramid subgroup of pyramid, 2 assertions