notes(1) assertion