note formal language, and use spec-specific layout