baudets conjecture