Fixed error in previous commit (destroyed arith.yaml)