Adds main conjecture.