weaken assumptions made by theorem-2 and asssoc-enough