add conjecture