Made Notation stable.