A note on modeling theories / Johan van Benthem