So then we are capable of knowing whether our output is correct, by putting it into contact with the external world.