Van Benthem, Professor of Logic Johan