Choose two axioms that allow 6 + (x + 5) to be written x + 11.