X m-commands Y if and only if the first maximal projection that dominates X also dominates Y and X does not dominate Y.