spec model written up to p. 248 (inclusive)