Add precondition for "-" and "+"