Title: ProofPower Z Tutorial