Finished prox result