old stadium subgroup of stadium, 5 assertions