n m -> m n. Xans contains the whole.