conjecture syracuse