new tower subgroup of tower, 10 assertions