Direct Methods Of Proof