Semiconvection and overshooting: Schwarzschild and Ledoux criteria revisited

We show that the Schwarzschild formalism, if accepted as the description of the structure of a semiconvective region, necessarily implies overshooting. The Ledoux formalism (if accepted) can be used without overshooting, provided a new relation for the mixing-length parameter or is satisfied. Should the latter not be satisfied, the Ledoux formalism would also require overshooting, that is, a nonlocal convection model.