Mathematics is not a single monolithic structure of absolute truth.
On the monolithic structure, it seems unreasonable to design building with lower large space and upper small bay.