@fancy-queen-20734 : thoughts? a lot of the optimizations i want to apply will only make formalization more difficult... so getting some guardrails in place soon would be good