logicprox