> I hope you know this already, but if you don't, you're in luck: this is this most important thing you've heard all year! Please think about it and ask questions until it
> revolutionizes the way you think about logic.

This was a revelation for me. I'd never considered subset as implication and I had been wondering why meet and join used the same symbols as __and__ and __or__ when I read the book chapter. I guess that this is related to some aspect of the Curry-Howard isomorphism between propositions and types in programming languages.