Conviene añadir algunas precisiones al planteamiento informal que hemos presentado: