The presenter talks about about transducing words in higher orders, the connections to functional programming, and closure under composition. You are sure this approach has some advantages, but you are not sure how to apply them to your own work.

You look back on your notes after the presentation is over. You noted down a definition you should already have known, a result that is not clear without context, and one drawing of a proof that, as on your sheet, is false.