  In this note we sketch a proof of a fundamental conjecture, the
codimension-three conjecture, for microdifferential holonomic systems with
regular singularities. It states that any regular holonomic E-module extends
beyond a codimension-three analytic subset.
