Infinite matroid theory lecture 16