a–b+3