I looked it up on the computer and it says chicago and st louis
ABC order and abcdefghijklmnopqrstuvwuxyz
It's a kind of logical argument that applies to deductive reasoning to arrive at a conclusion based on two or more propositions that are asserted or assumed to be true.