proofs , AC , 1:3
reproofs , PR , 6:23
reproofs , PS , 38:14
~~~~~~