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
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
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
난 계수 1인 사상의 핵속에 살고 있어

From my domain, its image looks so blue,
내가 있는 곳에서, 그 마음은 너무 슬퍼보여

'Cause all I see are zeroes, it's a cruel trap
내게 보이는건 전부 0 뿐이니, 잔혹한 덫에 걸린걸까

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.
절대로 분리될 수 없다는거야. 증명 끝