Description: If B follows A in R , then either A and B are the same or B follows A in R . Similar to Proposition 106 of Frege1879 p. 73. Compare with frege106 . (Contributed by RP, 15-Jul-2020)