Hard constraint