> The hang up here is SWEs belief those abstractions must be stored as some syntax they know Contracts need to be written down to be effectively enforced. We d

> The hang up here is SWEs belief those abstractions must be stored as some syntax they know Contracts need to be written down to be effectively enforced. We don’t like a he said she said in software, right?