502 APPENDIX A. HOMOLOGICAL METHODS∗