Т.е. те граждане, которые тогда дополнительно ходили в бассейны
и коих было еще по крайней мере столько же, сколько нынешних ( ну и я в их чмсле) - как бы и не совсем люди были. А стало быть на них тратить половину площади бассейнов было пустой растратой, только уменьшающей комфорт тех, кои Мигелем причисляются к полноценным гражданам.