Man måste således antaga ,att