Fixed models/denotation_spec