The articles [17], [16], [21], [15], [3], [18], [25], [1], [9], [10], [4], [8], [2], [19], [24], [14], [20], [13], [12], [11], [23], [5], [7], and [22] provide the terminology and notation for this paper. Let n be a natural number and let x, y be finite sequences. The functor n-BitSubtracterStr(x, y) yields an unsplit non void strict non empty many sorted signature with arity held in gates and ...