A. Conjecture could be a rule of a pattern but hasn't been proven completely valid
B. Conditional is an if then statement in
C. Biconditional is if and only if statement
D. Counterexample is used to prove a statement false
