Do not discard insolubles in implications