Cup-length estimates for leaf-wise intersections · wovepaper