APolizzi proofs