Create conjecture.hs