sub unary numbers rules [A]|-[B]|->[A]-[B] [A]-->[A] input |||||-|||