continued notation update in sandbox