結果 : what is another name for formal definitions