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