Putting aside the improbability of the notion that we are about to make a breakthrough in writing precisely what we mean in code, virtually none of the difficulties that arise in law and governance are of the sort that can be resolved by formal logic. The law is primarily about human relationships and conflict resolution, not rules.