I den antagliga förmodan,