Promptotyping Specification