Make business logic explicit, and it becomes something humans and machines can understand, verify and execute.