Det visar sig således,