Dagon comments on When does external behaviour imply interal structure?