Distributed logic