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