start :: fn { a := (1,2) a[0] <=> 1 a[1] <=> 2 b := (1,) b[0] <=> 1 empty := () c := (empty,) c[0] <=> () a := (1,2) a[0] <=> a[1] { q := a[0] w := a[0] q + w q - w q * w } }