Where I talk about various things. Standardizing Ups and Downs Notation 4 Oct 2024 Notation Idea for Binary Logical Relations 7 Jul 2024 12-Nominal Note Naming System 17 Apr 2024