Contracts In Engineering, The Interpreta by James Irwin Tucker