Where else would this be defined? Comment required.