The metatheory of axiomatic weak memory models covers questions like the correctness compilation mappings from one model to another and local program transformations according a given model---topics usually requiring lengthy human investigation. We show that these can be solved by answering more basic question: "Given two models, is weaker than other?" Moreover, for wide class we this question ...