Removed duplicate check for [[ a == b + 1 ]]