You have a point, though I would see it as an exists operator (\exists_A A\implies B) than a modal operator. But that might be because it's been a while since I

You have a point, though I would see it as an exists operator (\exists_A A\implies B) than a modal operator. But that might be because it's been a while since I used modal logic :)