extract from the prelude summary