Vicious circles in contracts and in logic