Stuart_Armstrong comments on Models as definitions