for MS being OrtAfPl holds
( MS is Homogeneous iff MS is satisfying_ODES ) by CONAFFM:def 4;