We don't run on logic, trust me. I've spent the week writing a text editor. I can trash logic completely. If you want to know, all absolutely logical pieces of first-pass code failed terribly at edge cases that were completely invisible and counter-intuitive. Not because the code was wrong, but because it was right. I had to re-examine what I held to be true and came to realize that we make sense of the world by assumptions that are only loosely based on reality. I highly recommend writing a text editor to everyone, as a hard course on "logic", at least. It's the adaptation of monkey brain expectations on a purely logical machine.