all (all (polyreduce ([0, 0, 1, 2, 3]) == [1, 2, 3]))
