This is just a short reprise of my earlier talk on reduction-based contextual typing. I will revisit the same core ideas with some new examples.