Jacobsen and van Benthem.pdf