Consider this to be an extended answer to the question “why would you build the IDE for specification” described in our previous blogpost. The questions in this document are a modified+truncated Heilmeier Catechism that were part of a (rejected) proposal, but I wanted to share it as a public artifact.