Pātuhitia tēnei: Ovcyannikov theorem and hyperdifferential operators