double of definition removed