Infinite matroid theory lecture 20