definable
