Yes, you are correct. It is defined there.