deleted unnecessary notation