update Logic-1