Welcome the goon cave!
This is axiom accs.
Axiom Here.