Det hela reducerar sig således,