See previous notes.