結果 : linear logic example