Immutable business definitions, bounded formula semantics, validation and compatibility.