43:46 Talk on Propositions as Types, Philip Wadler's paper. Part 2 @aaronmblevin talk @IntersectionsKW