Proofing with Ziflow