Documentation: utility specifications.
Documentation: statement specifications.