-1*Ea -1*Ma + 1 >= 0 -1*Eb -1*Mb + 1 >= 0 1*Mb >= 0 1*Eb >= 0 1*Ma >= 0 1*Ea >= 0