Den förmodan ligger under allaomständigheter