. . "The implicit contract specifies semantics that a human can understand - if I tell you a variable is a File, then you probably have a good understanding of what that variable is modeling." . .