Hard constraints checking