More section 4. Notation change.