Which is a correct example of reconciling two proofs?

The Scope of General Expressions, Specification and Solitary Reports