I think it's fair to say Julio pitched better than his stat line would indicate.