結果 : definition of basic assertion