Just because we have determined that an (fcmp | fcmp) is true for A < B,