I took a class with Nuel Belnap, Logic 1500. He spent an entire 90 minute class explaining the logical implication trees behind an incident where he fell and hit his head while walking his dog. Fascinating mind!