You seem to be using the legal definition of 'contract'. We're using the computer science definition, which is simply "assuming it's correctly implemented, if

You seem to be using the legal definition of 'contract'. We're using the computer science definition, which is simply "assuming it's correctly implemented, if you feed this program Foo, it'll do Bar".