conjecturestimation