Key stationary points for the dehydration of benzene cis-1,2,dihydrodiol. Shown here are the reactant complex (RS), the transition state for proton abstraction (TS1), the carbanion intermediate (IS), the transition state for leaving group expulsion (TS2), and the product complex (PS), obtained in a pure implicit solvent model.