J. Davidson Pratt. Typescript.