a gymnasium is used for gymnastics.