constrain major finger invalid calmness primitive inequality