Oh,yes, it has been defined...Please ignore my fallacious suggestion..