affirming the consequent