We study a propositional bimodal logic consisting of two S4 modalities and [a], together with the interaction axiom scheme 〈a〉 φ → 〈a〉φ. In the intended semantics, the plain is given the McKinsey-Tarski interpretation as the interior operator of a topology, while the labelled [a] is given the standard Kripke semantics using a reflexive and transitive binary relation Ra. The interaction axiom ex...