[show] added 'bottom line' of free theorems to new slide
[show] added important insight from Atkey