I'm having trouble with the definition of strictly positive part from "Basic Proof Theory" by Troelstra. For instance is the formula
$$\exists x (B\lor C) $$
s.p.p? What about $(A\implies B\lor C )$? And finally what about the last formula with an existensial quantifier?