  Gelfond and Lifschitz go on to describe another action  language,  C, which invokes an explicit notion of causality—motivated, in all likelihood, in part by the need to provide a more principled solution to the problem. Instead of describing that language, we now discuss the similar theory of  Turner 1999.