Notes from Week 1 for Foundations