Found a critical commercial application of modal logic :p
In the definition of academic and professional ladders, we find that roleSkillA enables roleSkillB, yet A does not imply B. The distinction is critical, as the anti-pattern wrecks havoc on anyone who treats a possible path as a necessary path.
