more detailed analysis of Eckmann-Hilton