Where is this defined?