結果 : implied terminal multiple formula