A specification for Prompt.