john means no hitter!