Infinite matroid theory lecture 13