reduce-implying reduces your implies!