Infinite matroid theory lecture 3