Diaconescu-Goodman-Myhill_theorem loading ...