## Proof

One might wonder why

the human spirit

optimistic

sees the

language of the

infinite hierarchy of universes

one can consider

equivalence

the poet

transport

the river

univalence

the sun

the air

will then equip

computational meaning

our deepest human impulse

the mountain

perpetual

cannot properly define them

naturally

natural transformations

exist in some form

one can easily construct

paths

beyond our control

diagonal maps

squiggly arrows without any specified direction

divinities

as morphisms

redefining

our dreams

the ideas underlying

identities

are not generally true

That is,

we will reduce

to face

absurd faces

but then what about

the great mystery

the geometric intuition

it is not sufficient

trivially

no deep reason

free

we have now finally reached

the last equality