sucessor = lambda x: x+1
antecessor = lambda x: x-1

def sum(x, y):
    if not y:
        return x
    return sum(sucessor(x), antecessor(y))
    
print(sum(3, 5))  # 8