shape aspect of tower, 4 assertions