Moved explanations from comments into assertions.