. . . "Well, today, there are some kinds of contracts that have already been ???made computable???." .