#TERFLogic: an unconstructed binary has 3 positions

  0