Note 519 — Chapter V
Reading edition
The two alternants Bc and bC might here be made more determinate, thus, aBcd or aBce or aBcf or Bcde or Bcdf or Bcef and abCd or abCe or abCf or bCde or bCdf or bCef. But since we know that we are going on immediately to eliminate d, e, and f, it is obvious, even without writing them out in full, that these more determinate expressions will at once be reduced again to Bc and bC simply.