R. K. Meyer once gave precise form to the question of whether relevant implication can be defined in any modal system, and his answer was `no'. In the present paper, we extend S4, first with ...