model aspect of crick, 2 assertions