Infinite matroid theory lecture 12