Infinite matroid theory lecture 4