· version 1
Knowability. Can correct behaviour be stated before building, or only discovered by building?