Removed invariant of notes always existing.