A gymnasium is a building