Add refutation of canonical need having duplicates