On the principle of literal infringement in the patent law of the United States.