smith conjecture