However, all that matters for our purposes is that every tree in G projects under π to a tree in G with the same or higher probability, which is true because every rule in G does.
we know that α G (e, s) ≤ α G (e, s).