Counting Is Hard

Formerly @counting_hard on twitter. YT coming eventually. Pedant & Co-Pedant. I don't check here every day Dodecahedron Fan Combinatorics / Category Theory / Type Theory Non-Maths stuff: @shift_reset