Two Plus Two Older Archives - Another possible daryn sighting

This is fantastic. Every math term in there is used brilliantly.

The Klein Four Group
Finite Simple Group (of Order Two)

The path of love is never smooth
But mine's continuous for you
You're the upper bound in the chains of my heart
You're my axiom of choice, you know it's true
But lately our relation's not so well-defined
And I just can't function without you
I'll prove my propisition and I'm sure you'll find
We're a finite simple group of order two
I'm losing my identity
I'm getting tensor (sic!) 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 mod out
The faithful image that I map into
But when we're one-to-one you'll see what I'm about
Cause we're a finite simple group of order two
Our equivalence was stable
A principle (sic!) of bundles sitting deep inside
But then you drove a wedge between our 2-forms
Now everything is so complexified
When we first meet we simply-connected (sic!)
My heart was open but too dense
Our system was already directed
To have a finite limit in some sense
I'm living in the kernel of a rank one map
From my domain its image looks so blue
Cause all I see are zeros it's a cruel trap
But we're a finite simple group of order two
I'm not the smoothest operator in my class
But we're a mirror pair me and you (you and me)
So let's apply forgetful functors to the past
And be a finite simple group
be a finite simple group
Let's be a finite simple group of order two (why not three?)
I've proved my proposition now as you can see
So let's both be associative and free
And by corollary this shows
You and I to be purely inseprable
QED