Spec Model written up to p. 234