The path of love is never smooth
But mines continuous for you
Youre the upper bound in the chains of my heart
Youre my Axiom of Choice, you know its true

But lately our relations not so well-defined
And I just cant function without you
Ill prove my proposition and Im sure youll find
Were a finite simple group of order two

Im losing my identity
Im getting tensor every day
And without loss of generality
I will assume that you feel the same way

Since every time I see you, you just quotient out
The faithful image that I map into
But when were one-to-one youll see what Im about
Cause were a finite simple group of order two

Our equivalence was stable,
A principal love bundle sitting deep inside
But then you drove a wedge between our two-forms
Now everything is so complexified

When we first met, we simply connected
My heart was open but too dense
Our system was already directed
To have a finite limit, in some sense

Im living in the kernel of a rank-one map
From my domain, its image looks so blue,
Cause all I see are zeroes, its a cruel trap
But were a finite simple group of order two

Im not the smoothest operator in my class,
But were a mirror pair, me and you,
So lets apply forgetful functors to the past
And be a finite simple group, a finite simple group,
Lets be a finite simple group of order two
(Oughter: "Why not three?")

Ive proved my proposition now, as you can see,
So lets both be associative and free
And by corollary, this shows you and I to be
Purely inseparable. Q. E. D.