Archived tweet #8800 from the @leastfixedpoint Twitter Archive

Lifting perspective from numeral-as-count to numeral-as-operation seems maybe a way to gain insight into what unary-minus does