2.2 Therefore and Formal Result Connectors - GhorTutoring