$PROVE is Flying