working on rest of axioms...gotta take a breather though for now