Notation must be present