Vi kunna således antaga,