I saw a very good Hollywood film the other day. It was about Cole Porter.