TimFreeman comments on Models as definitions