Prelude Specifications