Sometimes Mathematical terminology appears  beautiful, instead of boring as usual. The following song created by The Klein Four from Northwest University sounds interesting.

The path of love is never smooth. But mine's continous 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 of order two. I'm losing my identity. I'm getting tensor everyday. And without loss of generality, I will assume that you feel the same way. Since everytime 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 principle love bundle sitting deep inside. But then you drove a wedge between our two-forms. Now everything is 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 are a finte 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.