“A conceptual future IDE for specification writing, designed to pull out ambiguity and clarify thought.”