Esta identidad determina en gran medida qué acciones se le permite realizar al programa.