all (all (conv (3, [1, 2, 3]) == [3, 6, 9]))
