On the Two Short Axiomatizations of Ortholattices