Full ResolutionFull Resolution 2Proofs