See other notes.