start :: fn {
    (0, 1, 2) * (2, 3, 4) <=> (0, 3, 8)
}