Infinite matroid theory lecture 17