Text this: Intuitionistic monotone modal logic via translation.