removed things already defined