MDLUL/Symmetrieaxiom