Text this: Proof and disproof in formal logic :