Infinite matroid theory lecture 8