hasses conjecture