spivak4 documents