Gave Prof. Eisenstat Credit for Specification