... been formal propositional and first order logic, and so many of ... challenged by the unconventional way 7Sage teaches logic. For example, ... reprogramming' myself to do things 7Sage's way, or just stick ... would fail, and it would be worth knowing 7Sage's method.