simplified definitions of prelude