[guerrilla]

> This answer was:

> ‘Assigning mathematical meaning.’

No, you misread. The answer was

> The lambda cube is a way to systematically organize the space of type theories.

All of this was already meaningful before the lambda cube. The cube just organizes what we knew in a systematic way. It shows the relationships between the various systems that exist when they are differentiated on the features that describe their expressive power.