On Reconstructing Proofs in Paraconsistent Mathematics (The Reasoner, 2010)