Is there a continuing need for this definition?  If not, please remove it.