Ah, Rogers and Paul – didn’t they write some great musicals?