remove unneeded notation