often a proof will hinge on a key conjecture, so the paper is named after the conjecture