Law, Tech, Rules as Code, Formal Logic, Computational Law, LLMs, Symbolic AI. Fastcase 50 | ALTA Startup Runner-Up | ABA Innovation Fellow | Computational Law LLM | Recovering Lawyer | Legal AI Innovation Dev @ TR | Blawx dev. Opinions mine, etc.