Conditionals -> Logic.