Under dessa omständigheter antager de'