Simplify constraint on head