Formal 2026 by @sarimurph