Text this: Ovcyannikov theorem and hyperdifferential operators