symmetricity for leibniz, I think