inverse constraint