Authenticating constraints...