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