Simplifications and extensive explanations.