λ Is Logic Free

Turns out, λ is logic free; it is an equational theory (directly quoted from Studies in logic and foundations of mathematics, The Lambda Calculus Its Syntax and Semantics by H.P. Barendegt). It is also combinatorially complete. Even logic can be derived using λ among every other absurd idea.