RARE ARTHU777 POST!?!?!??! WOWOWOIWIE Axiom terminated :sussyrtg: (prolly should've mentioned that you cannot add your own axioms aswell, as they'll get automatically terminated)
