Infinite matroid theory lecture 2