entire tower subgroup of tower, 1 assertions