prop: notenum.