$p$-integrability

In this short note, we prove the equivalence of Grothendieck-Katz $p$-curvature Conjecture with Conjecture F in Ekedahl-Shepherd-Barron-Taylor. More precisely, we show that Conjecture F implies the $p$-curvature conjecture, and that the $p$-curvature Conjecture implies Conjecture F for the foliation attached to a vector bundle with integrable connection.