Contracts. Use for Java representation and transformation choices where caller-visible semantics or readability need attention.
