A talk between Greg Meredith and Christian Williams on LADL (Logic as A Distributive Law).