changed prox defs