PRELUDE
specifications