Title: Understanding Spivak