Double Take, Royal Opera House, London