language
principles
semantics
tools
