Cleaned up the mathematical preliminaries.