AFM.LRa: Logical Reasoning – Methods Of Proof