a gymnasium is for exercise.