Liner Notes

Music by Kris McDaniel.
Lyrics by Kris McDaniel and Ben Bradley.

Ben Bradley — vocals, vocoded vocals
Kris McDaniel — synthesizers, drum programming

Kris and Ben’s parts were recorded by Kris and Ben in Syracuse.
Song engineered by Kris McDaniel and Ben Bradley.

Art by Paul Prescott

Lyrics

I’m the transitive property
The transitive property
I’m very important logically
I’m important, logically

I’m the transitive property
The transitive property
Don’t confuse me with symmetry
Or irreflexivity

If x bears R to y
And y bears R to z
Then x bears R to z
If R instantiates me

Better than has me
So does identity
S4 modality
And perfect similarity

Part of mereology
I hang with causality
Prefers should satisfy me
If you love rationality

If x bears R to y
And y bears R to z
Then x bears R to z
If R instantiates me