defined twice