Augmented Law: Formalism in Blockchain | Synapse