still working on proving the equivalence of logic axioms