right. where is it defined?