Infinite matroid theory lecture 15