Here is a first cut of the requirement/design language. You will see it in detail later.