premise: Perhaps, in the future, we will describe a machine's behavior, not in terms of the simple sequences of events described in today's rules, but in terms of the more complex patterns of events contained in the tests.