Model.spec() impl