Infinite matroid theory lecture 5