Det sistnämnda är , som man lätt inser,