Church encoding is mind-bending.

    ZERO  = (f, x) => x
    ONE   = (f, x) => f(x)
    TWO   = (f, x) => f(f(x))
    THREE = (f, x) => f(f(f(x)))
    TRUE  = (a, b) => a
    FALSE = (a, b) => b
    IF    = (p, a, b) => p(a, b)
    NOT   = (p, a, b) => p(b, a)
    AND   = (p, q) => p(q, p)
    OR    = (p, q) => p(p, q)

I had a coworker do this all over a Cold Fusion codebase.

He also claimed he used to be a dentist in Mexico, so anywhere he had his name, email sigs, code comments, etc., he would sign add "DDS" after his name.

Dude was a trip.

Pretty sure I've seen that as well (different codebase though) - that kind of thing happens when you have a code style rules that says "No literals in code, always define constants" and people take it literally.

Wasn't there a post here a month or so ago where someone found something like "three = 5" in the linux kernel?

You know, it wasn't that long ago when booleans in Python were essentially:

    True = 1
    False = 0