<b_jonas> learn brexit is like a break, except when there\'s no surrounding loop, in which case it\'s like an exit.

"modal logic" means "the most common logic" (that is, classical logic).