... bit hung up at the logic section. A lot of my ... formal propositional and first order logic, and so many of my ... the unconventional way 7Sage teaches logic. For example, I would immediately ... (x)^B(x)) - there exists some object that is a pilot ...