Prelude is now optional