Make insurance logic explicit, adaptable and executable.