New post "schema theorem" incomplete