strengthening some results (from implication to equivalence)