Forgot to add the sign production rule