"Wilkie's conjecture for definable curves."