Boolean algebra is for chums, Modal Logic is where it’s at.

I say “Pro” and you say “log” \o/