• Treating functions as set exponentiation
• Equivalence relation properties are just group axioms
• Alternating binary expansions are unique