Fixed constraint definition