conjecture (1)