quick TODO in Notation added