Man måste för resten antaga ,att