Marc Priestley Shares Insights on Differentiation from F1 Examples