Have full draft of original, inspector, and executor for findWavesFast in HOL, but have questions for Michael.