FiretaleLog in
Axiom of Echoes: Proof Refactor — Firetale