Our next talk is by Jan van Brügge on Strong Rule Induction for Syntax with Binders.