 Unlike Prior, Adams does not develop a rigorous deductive system. Rather, in his 1981, he simply identifies a number of informal semantic principles (labeled C1–C9). However, a clear set of axioms and rules requiring only a bit of supplementation can in fact be derived from those  principles.[87]  We will call the resulting system A.