The Expression Problem and Lenses ∘ Lambdajam, Brisbane, Australia ∘ 2016-04-28