There should be a constraint asserting this is always true.