Extract from the Prelude

Extract from the Prelude