P⁡(a,b)=⌈b-a-1⌉,