added weak conjecture