Ensuring constraints correctly match implementation