first version of short paper about JPC and LogicObjects