The gym was playing cheerful music and people were exercising.