Adding first constraint