Added to Spivak notes