test conform to new notations