>>16831370
start working on systems with different axioms instead of the usual kiked axioms everyone uses