validating ++ (passing)