Expressive language for financial institutions to model and execute agreements with certainty and finality.
