The Dicto-Comp Revisited.