結果 : increment method calculus