definable
examples
tests
