Finalize initial specs and examples