Infinite matroid theory lecture 22