A lower bound on the order of the largest induced forest in planar graphs with high girth.