Then where is it defined?