<p>
      A value that is annotated as possibility not being an instance of
	the values denoted by the type qualifier, and the value is guaranteed to be used
	in a way that requires values denoted by that type qualifier.
      </p>