start :: fn {
    (1, -2, 3, -4) - (4, 3, -2, -1) <=> (-3, 1, 1, -5)
}