Vi måste således antaga,