Baudet's conjecture