"I can talk about modal predicates, i.e., the formalization of modal notions as predicates rather than operators as in modal logic. This talk could have a fairly easy part and might get students interested."