showgan@tg says to YSITD
a == b = a - b + 1