05_ArtProof_manual vs automated_PL_clear