Adding some additions to Becky's notes