Infinite matroid theory lecture 6