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 proposition, 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 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 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 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
I'm living in the kernel of a rank-one map
From my domain, its image looks so blue
‘Cause all I see are zeroes, 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
So let’s apply forgetful functors to the past
And be a finite simple group, a finite simple group
Let’s be a finite simple group of order two
(Oughter: 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 inseparable. Q.E.D.
O caminho do amor nunca é suave
Mas o meu é contínuo para você
Você é o limite superior nas cadeias do meu coração
Você é o meu axioma da escolha, você sabe que é verdade
Mas ultimamente a nossa relação não é tão bem definida
E eu simplesmente não pode funcionar sem você
Eu vou provar a minha proposta e eu tenho certeza que você vai encontrar
Somos um grupo simples finito de ordem dois
Estou perdendo minha identidade
Estou ficando tenso cada dia
E sem perda de generalidade
Vou assumir que você se sente da mesma maneira
Uma vez que cada vez que te vejo, você só quociente de fora
A imagem fiel que eu mapear para
Mas quando estamos um-para-um que você vai ver o que eu estou a ponto
Porque nós somos um grupo simples finito de ordem dois
Nossa equivalência era estável
Um principal pacote amor sentado lá, no fundo
Mas então você dirigiu uma cunha entre as nossas duas formas
Agora tudo é tão complexificada
Quando nos conhecemos, nós simplesmente conexa
Meu coração estava aberto, mas muito denso
O nosso sistema já foi dirigido
Para ter um limite finito, em algum sentido
Eu estou vivendo no kernel de um rank-one mapa
Do meu domínio, a sua imagem parece tão azul
Porque tudo que eu vejo são zeros, que é uma armadilha cruel
Mas nós somos um grupo simples finito de ordem dois
Eu não sou o operador mais suave na minha classe
Mas nós somos um par espelho, eu e você
Então, vamos aplicar functors esquecidos ao passado
E ser um simples grupo finito, um grupo simples finitos
Vamos ser um simples grupo finito de ordem dois
(Oughter: Por que não três?)
Provei minha proposta agora, como você pode ver
Então vamos ambos estar associativo e livre
E por corolário, isso mostra que você e eu para ser
Puramente inseparáveis. Q.E.D.
