May be affirming the consequent here.