use proper difference notation