Johan van Benthem: Modality, relational guards, and decidability (invited paper). RelMiCS 1998: 18