They found the NAND gate for mathematics! Now we need a no-holds-barred bare-knuckle drag-out fight between this and Binary Lambda Calculus
A single two-input gate suffices for all of Boolean logic in digital hardware. No comparable primitive has been known for continuous mathema















