There is no royal road to leaning