Ecency
Conditional statements and deductive reasoning