Man måste således antaga,