Then causes, according to a typical regularity analysis, iff and are true; and for some nonempty set of true law propositions and some set of true propositions of particular fact, and jointly imply, although and jointly do not imply and alone does not imply.