weak implication compression implemented