Infinite matroid theory lecture 9