Surgery for esophageal achalasia associated with esophageal diverticula^|^mdash;a case study^|^mdash;