Sondheim and Wheeler's Sweeney Todd