Implementation notes.