Topological complexity (TC), introduced by Farber, is a homotopy-theoretic

Figure 1. Overview of the evaluation framework used for assessing digital and proximal topological complexity.

invariant that measures the intrinsic complexity of constructing continuous motion-planning algorithms on a configuration space [1]. Let X be a path-connected topological space. The classical path fibration π : P X → X × X is defined by π ( γ ) = ( γ ( 0 ) , γ ( 1 ) ) , where P X denotes the free path space of continuous paths in X . The topological complexity T C ( X ) is defined as the Schwarz genus of the path fibration. Consequently, classical TC depends fundamentally on path spaces, continuity, fibrations, local sections, homotopy equivalence, Schwarz genus, and Lusternik–Schnirelmann category.

Because these constructions are deeply rooted in classical topology, their transfer into digital or proximal settings requires careful verification.

Unlike classical topology, digital topology studies discrete structures equipped with adjacency relations. A digital image is commonly represented by ( X , κ ) , where X ⊂ ℤ n and κ denotes a specified adjacency relation.

The key difference between classical and digital topology is that the notions of continuity, connectedness, homotopy and constructions involving paths in digital spaces depend on the adjacency used.

Consequently, every theorem that is proven about digital spaces will refer to the adjacency on the domain, the adjacency on the codomain, the adjacency on the product of two spaces, and will refer to the compatibility of maps with the adjacencies.

This dependence on adjacency is one of the most fundamental characteristics of digital topology, and it impacts every notion of topological complexity defined for digital spaces.

One of the most important concepts in digital topology is digital continuity. For digital images ( X , k 1 ) and ( Y , k 2 ) , a map f : ( X , k 1 ) → ( Y , k 2 ) is digitally continuous if it preserves adjacency relations.

A more rigorous neighborhood-based characterization is given using digital neighborhoods. Let N k ( x , 1 ) denote the digital neighborhood of radius one around x . Then digital continuity may be expressed by the condition

for every x ∈ X . This formulation provides a useful way to check digital continuity and plays an important role in digital covering theory and lifting constructions [6][9].

The significance of digital continuity becomes especially apparent in digital topological complexity because motion-planning maps, evaluation maps, digital fibrations, and path assignments must all satisfy digital continuity requirements.

Digital homotopy provides a discrete analogue of classical homotopy. Given digitally continuous maps f , g : ( X , k 1 ) → ( Y , k 2 ) , a digital homotopy is a family of digitally continuous maps connecting f and g through a digital interval.

Unlike classical homotopy theory, digital homotopy depends on the adjacency on the domain, the adjacency on the codomain, the adjacency on the digital interval, and the product adjacency used in X × [ 0 , m ] ℤ . Therefore, homotopy constructions cannot be transferred automatically from classical topology into digital settings.

Digital path constructions play a central role in all versions of digital topological complexity. A digital interval is usually represented by [ a , b ] ℤ = { n ∈ ℤ : a ≤ n ≤ b } , equipped with 2-adjacency.

A digital path is a digitally continuous map α : [ 0 , m ] ℤ → ( X , k ) . Digital path spaces form the foundation of digital motion-planning algorithms because every TC-type invariant requires assigning paths to pairs of points.

However, the construction of digital path spaces is considerably more delicate than in classical topology because the path space itself requires an adjacency structure. This issue becomes central in later sections when digital topological complexity and digital TC of maps are discussed.

Digital covering spaces provide one of the most important tools for studying digital homotopy theory. A digital covering map p : ( E , k 0 ) → ( B , k 1 ) is a digitally continuous surjection satisfying local digital homeomorphism conditions on suitable digital neighborhoods.

Digital coverings have a role similar to classical covering spaces but with additional requirements regarding the adjacency of the digital spaces. Digital coverings are important in that most concepts regarding digital fundamental groups, lifting, and digital fibrations employ covering spaces.

A fundamental result in digital covering theory is the unique path lifting theorem. Let p : E → B be a digital covering map. Then every digital path in B beginning at a specified base point admits a unique lifted digital path in E , provided the required digital covering assumptions are satisfied.

This theorem plays a crucial role in digital homotopy theory as it helps to transfer information along the paths in a covering space [9][11]. The existence of a unique path lifting is relevant to the discussion of digital path spaces and digital motion planning.

A second fundamental result is the digital homotopy lifting theorem. Given suitable conditions on digital covering maps, digital homotopies can be lifted through digital covering maps. This result establishes a stronger mathematical foundation for digital fibrations.

Because many of the notions utilized in the computation of digital topological complexity include the concepts of digital fibrations, the Schwarz genus, lifting properties, and motion-planning maps, the digital homotopy lifting theorem becomes an essential result within the study of digital topology.

Motivated by the existence of these various concepts, numerous recent studies have introduced digital analogues of concepts such as path fibrations, Schwarz genus, homotopic distance, digital topological groups, higher topological complexity, and topological complexity of maps. However, in each of these studies, it is important to ensure that the concept of adjacency is made explicit, that the adjacencies are compatible with the product adjacency, that the digital continuity of certain maps is ensured, that digital path spaces are defined, and that lifting results are established.

These issues all motivate the present review, which forms the foundation for the criteria that will be established in the following section.

3.1.1. Definitions and Scope of the Evaluation Framework

A foundational challenge refers to a mathematical issue that may affect the transfer of concepts from classical topology to digital or proximal settings. Such challenges do not necessarily imply that a result is incorrect; rather, they indicate that additional assumptions, verification, or structural justification may be required.

Mathematical consistency refers to the compatibility of definitions, continuity structures, adjacency relations, path-space constructions, and lifting mechanisms within a given framework.

Verification refers to the explicit mathematical confirmation that the hypotheses required by a construction are satisfied. In the context of digital and proximal topological complexity, verification includes the specification of adjacency structures, continuity conditions, path-space constructions, and lifting properties.

The criteria introduced below are intended as evaluative tools for identifying areas where additional mathematical clarification may be beneficial. They should not be interpreted as automatic tests of correctness or invalidity.

3.1.2. Motivation

The rapid development of the concepts of digital and proximal topological complexity has led to the creation of numerous constructions based on digital path spaces, digital fibrations, the digital Schwarz genus, the topological complexity of maps, and generalized topological complexity.

Many of these constructions have been inspired by the classical theories that have proven themselves to be valid throughout the years. Nevertheless, the validity of the digital analogues of these theories rests upon a few assumptions.

Before investigating the specific results that have been proven within the field of digital and proximal topological complexity, it is first necessary to establish a collection of criteria that can be used to assess the validity of the constructions of digital proximal topological complexity.

The purpose of this section, therefore, is not to determine whether various results presented within the field of digital and proximal topological complexity are correct or incorrect, but rather to reveal the assumptions that must be made regarding the validity of each of these theories when they are applied to the digital and proximal spaces.

The first requirement concerns adjacency structures.

Since digital topology is fundamentally adjacency-dependent, every digital construction should explicitly specify the adjacency relation used on:

and all associated product spaces. In particular, constructions involving

or

should clearly identify the chosen product adjacency. Failure to specify adjacency structures may lead to ambiguity because connectedness, continuity, homotopy type, and topological complexity may depend on adjacency selection.

Remark 3.1

Two digital images possessing the same underlying point set may exhibit different topological complexity values under different adjacency relations.

Therefore, digital topological complexity should generally be interpreted as

rather than simply

The second requirement concerns digital continuity.

Whenever a construction introduces a map

the adjacency-preserving property should be explicitly verified.

In particular, continuity assumptions become crucial for:

motion-planning maps,evaluation maps,digital fibrations,lifting maps,projection maps,multiplication maps in digital groups.

Using the neighborhood characterization of digital continuity,

provides a useful criterion for verification.

Remark 3.2

Many digital constructions inherit maps directly from classical topology.

However, the notion of continuity does not automatically imply digital continuity.

Therefore, the notion of continuity has to be verified independently of classical topology.

A third requirement concerns digital path spaces.

Classical topological complexity is based on

Similarly, the notion of digital topological complexity typically relies on spaces of digital paths. However, unlike in the case of classical topology, the digital path space does not naturally admit an adjacency structure.

Therefore, every path-space construction should specify:

1) the digital interval used,

2) the path-space adjacency,

3) the continuity of the evaluation map,

4) compatibility with product adjacency.

Counterexample Motivation

Suppose two digital paths have identical lengths but different adjacency structures. This observation suggests that path-length equalization alone may be insufficient for defining a unique path-space structure. A formal example will be presented in Section 5.

Many digital TC constructions rely heavily on products.

Examples include:

and

The validity of homotopies, fibrations, and motion-planning maps may depend on the chosen product adjacency.

Therefore, product adjacency should be regarded as a foundational component rather than a technical detail.

Digital covering theory provides one of the strongest available foundations for digital homotopy constructions.

Consequently, whenever digital fibrations or digital Schwarz genus are employed, the existence of suitable lifting structures should be examined.

Particular attention should be given to:

unique path lifting,homotopy lifting,local digital homeomorphisms,covering compatibility.

Remark 3.3

The availability of lifting properties generally provides stronger mathematical support for digital fibrational constructions than informal analogies with classical path fibrations.

The final criterion concerns generalized constructions involving:

digital Schwarz genus, homotopic distance, and generalized fibrational models.

Such constructions often involve multiple layers of continuity, lifting, path-space, and product-adjacency assumptions.

Therefore, each layer should be verified independently before conclusions from classical homotopy theory are transferred into digital environments.

The six criteria developed in this section are summarized as follows:

These criteria will be used throughout the remainder of the paper to evaluate existing developments in proximal and digital topological complexity.

4.1.1. Distinction between Digital and Proximal Frameworks

Although digital and proximal topological complexity are discussed together throughout this review, the underlying mathematical structures differ substantially.

Digital topology is fundamentally adjacency-based, whereas proximal topology is based on proximity relations. Consequently, Criteria C1-C4 are primarily directed toward digital constructions involving adjacency, continuity, path spaces, and product adjacencies.

In contrast, Criteria C5-C6 apply more broadly to both digital and proximal frameworks because lifting structures, generalized fibrational constructions, and homotopy-theoretic assumptions arise in both settings.

Accordingly, some observations in the following sections are specific to digital topology, whereas others apply to both digital and proximal topological complexity.

4.1.2. General Observations

The reviewed literature has significantly expanded the scope of topological complexity by introducing digital and proximal analogues of many classical constructions. These developments include digital topological complexity, higher digital topological complexity, digital topological groups, digital Schwarz genus, digital homotopic distance, generalized topological complexity, and topological complexity of maps.

The overall mathematical objective of these studies is both natural and important. Nevertheless, when evaluated through the criteria introduced in Section 3, several difficulties emerge in each of these studies.

These difficulties each involve the consideration of adjacency, digital continuity, constructions of paths, product adjacencies, and lifting.

The following subsections examine each of these difficulties.

The first of the issues to arise is that of adjacency dependence.

Since the theory of digital topology inherently depends upon the concept of adjacency, the validity of many of the constructions of homotopy theory depend upon the adjacency of the digital image under consideration.

While many of the constructions reviewed do consider digital images, they do not necessarily emphasize the relationship of those invariants to the adjacency of the digital image.

As a result, the complexity values can be different for the same digital image with different adjacency relations.

Thus, digital topological complexity should generally be interpreted in the form

rather than T C ( X ) .

Remark 4.1

Adjacency selection is not merely a technical choice.

It directly affects:

connectedness.contractibility.homotopy type.reducibility.digital continuity.and topological complexity.

Therefore, adjacency structures should be regarded as part of the mathematical object itself.

The second recurring issue concerns digital continuity.

Many constructions introduce:

evaluation maps.projection maps.motion-planning maps.digital fibrations.group operations.

For every such map

digital continuity must be verified relative to the chosen adjacencies.

In several of the constructions reviewed in this paper, the concept of continuity is established through its relation to classical analogies, rather than through its verification within the context of the digital framework.

While this is not necessarily a way of invalidating the constructions presented, it does indicate that some form of verification of such concepts within the digital framework is required.

Remark 4.2

Classical continuity and digital continuity are fundamentally different notions.

Consequently, classical continuity arguments cannot automatically be transferred into adjacency-based environments.

The third issue that recurs in the analysis of the construction of digital topologies is the issue of digital path spaces.

Many constructions of digital topologies utilize digital paths and digital motion planners.

Unlike classical topology, however, digital path spaces do not have a canonical structure associated with them.

The validity of such constructions depends on:

digital interval selection.path-space adjacency.endpoint evaluation maps.compatibility with product adjacencies.

These requirements become especially important in higher digital TC and TC of maps.

Counterexample 4.1

Consider two digital paths

Although both paths have equal length, their adjacency behavior differs substantially.

Consequently, path-space constructions based solely on path-length adjustments may fail to preserve the intended combinatorial structure.

This example illustrates why path-space adjacencies should be explicitly specified and justified.

A fourth recurring issue concerns product spaces.

Many constructions involve

or

However, product adjacencies are not uniquely determined in digital topology.

Different adjacencies can result in different continuities and homotopies.

Therefore, every product construction requires the specification of the chosen adjacency.

Remark 4.3

Product adjacency is not a secondary technical detail.

It forms part of the mathematical foundation of digital homotopy theory.

A fifth recurring issue concerns digital fibrational constructions.

Several reviewed works employ:

digital fibrations.digital Schwarz genus.generalized motion-planning fibrations.TC of maps.

Such constructions require stronger structural assumptions than ordinary digital continuity. In particular, the existence of lifting mechanisms becomes important.

Remark 4.4

The use of Schwarz genus presupposes the existence of sufficiently well-behaved local sections and lifting structures.

Consequently, digital Schwarz genus should be examined together with digital covering and lifting theory.

Digital covering theory provides one of the strongest available foundations for digital homotopy constructions.

The reviewed literature often relies on fibrational intuition derived from classical topology. However, digital covering theory offers more explicit mechanisms through:

unique path lifting.digital homotopy lifting.local digital homeomorphisms.

These structures provide a mathematically rigorous framework for evaluating digital fibrational constructions.

Remark 4.5

Whenever a digital analogue of a classical fibration is proposed, the availability of lifting properties characteristic of covering spaces should be investigated.

This would provide a stronger foundation for such an analogue than would formal similarities with classical path fibrations.

The final recurring issue concerns generalized TC constructions.

These include:

generalized Schwarz genus, and generalized fibrational frameworks.

Because such theories simultaneously involve:

path spaces.products.continuity.homotopies.fibrations.lifting properties.

Their mathematical consistency depends on all preceding criteria.

Consequently, generalized constructions require the most comprehensive verification.

Table 1 summarizes the primary verification considerations identified in the reviewed literature and relates each study to the evaluation criteria introduced in Section 3.

Table 1.Primary verification considerations identified in the reviewed literature.

Note. The table identifies the mathematical components upon which the proofs in the included publications rely yet which appear to be missing or at least requiring further verification. Each of these components is a mathematical component that is generally required to establish the results of the proofs related to digital or topological complexity. While the existence of these gaps in and of itself does not indicate misconduct or that the results of the papers are invalid, their existence does suggest that the proofs as presented in the publications are lacking in certain cases in terms of establishing the mathematical components necessary to consider their proofs to be complete and verified.

The reviewed literature contains many innovative and mathematically interesting ideas.

Nevertheless, the analysis performed using Criteria C1-C6 reveals several recurring foundational themes:

1) adjacency dependence.

2) continuity verification.

3) path-space consistency.

4) product adjacency compatibility.

5) lifting structures.

6) generalized fibrational assumptions.

These observations motivate the more detailed counterexamples and corrective remarks presented in the following section. The relationships among the recurring foundational challenges identified in digital and proximal topological complexity frameworks are summarized in Figure 2.

The purpose of this section is to provide explicit mathematical examples illustrating why adjacency structures, digital continuity, covering spaces, and lifting

Figure 2.Relationships among adjacency structures, continuity, path spaces, and lifting mechanisms in digital topology.

properties should be verified carefully when extending classical topological complexity into digital settings.

The examples presented below are not intended to invalidate existing constructions. Rather, they demonstrate situations in which additional assumptions, clarifications, or reformulations may be necessary.

Consequently, these examples should be viewed as corrective observations aimed at strengthening future developments in digital and proximal topological complexity.

Counterexample 5.1. Path-Length Equalization Does Not Determine aUnique Path-Space Structure

Let X = { 0 , 1 , 2 , 3 } ⊂ ℤ be equipped with C 1 -adjacency.

Define two digital paths α , β : [ 0 , 3 ] ℤ → X by

and

Both paths have the same length. However, their internal combinatorial structures are different. The path α traverses the sequence 0 → 1 → 2 → 3 , while β contains a repeated vertex and follows the sequence 0 → 0 → 1 → 3 .

Consequently, equality of path lengths alone does not determine a unique adjacency relation on a digital path space. Additional assumptions regarding path-space adjacency and compatibility conditions are therefore required before path-length equalization can be used as a foundation for digital path-space constructions.

Corrective Remark 5.1

Whenever digital path spaces are introduced, the associated path-space adjacency should be specified explicitly and justified independently of path-length considerations.

Counterexample 5.2: Adjacency Dependence of Topological Complexity

Let

Consider two different adjacency relations on the same underlying point set.

Under C 1 -adjacency,

so that X is connected.

Now consider a different adjacency relation c 2 defined by

while the point 1 is isolated.

In this case, the same set X becomes disconnected. Since connectedness, contractibility, homotopy type, and motion-planning constructions may depend on the chosen adjacency relation, the associated topological complexity invariant may also change.

Therefore, in general,

This example illustrates that digital topological complexity is fundamentally adjacency-dependent and should therefore be interpreted as an invariant of the pair ( X , κ ) rather than of the underlying point set X alone.

Corrective Remark 5.2

Digital topological complexity should generally be written as

rather than

The adjacency relation forms part of the mathematical object itself.

Counterexample 5.3: Product Spaces Require Explicit Adjacency

Many digital TC constructions rely on

In classical topology, the product topology is canonical.

In digital topology, however, multiple product adjacencies may be used.

Consequently, a map

may be digitally continuous under one product adjacency but fail to be digitally continuous under another.

Therefore, continuity claims involving products cannot be interpreted independently of the chosen adjacency structure.

Corrective Remark 5.3

Every theorem involving

or

should explicitly specify the associated product adjacency.

Counterexample 5.4: Classical Continuity Does Not Imply Digital Continuity

Consider a map

A map that is continuous in a classical topological sense may fail to preserve adjacency.

Digital continuity requires

for all x ∈ X .

Therefore, continuity arguments inherited from classical topology cannot automatically be transferred into digital environments.

Corrective Remark 5.4

Digital continuity should always be verified directly within the chosen adjacency framework.

Counterexample 5.5: Fibrational Analogies Without Lifting Verification

Many generalized TC constructions employ digital fibrations or fibration-like structures.

Suppose

is proposed as a digital analogue of a classical fibration.

The existence of a fibration-like diagram alone does not guarantee the availability of lifting mechanisms.

Without:

unique path lifting.homotopy lifting.local digital homeomorphisms.

The analogy with classical fibrations remains incomplete.

Corrective Remark 5.5

Digital covering theory should be used whenever possible to verify lifting behavior before introducing digital analogues of Schwarz genus or generalized topological complexity.

Counterexample 5.6: Generalized TC Requires Simultaneous Verification

Higher TC constructions frequently involve:

and generalized Schwarz genus.

Such constructions combine:

path spaces.products.homotopies.continuity.fibrations.lifting properties.

Failure of any one component may affect the validity of the entire construction.

Corrective Remark 5.6

Generalized topological complexity should be regarded as the final stage of a hierarchy whose lower-level assumptions must first be verified.

The examples presented above reveal six recurring sources of mathematical difficulty:

These observations do not imply that existing constructions are necessarily incorrect. Rather, they indicate that additional mathematical verification may be required before classical topological machinery can be transferred reliably into digital and proximal settings.

As discussed in the previous sections, it is clear that many of the difficulties inherent to the concept of digital topological complexity are rooted in issues related to the theory itself, rather than in technical mistakes made in formulating those concepts. Such issues include, but are not limited to, problems related to adjacency, products, path spaces, digital continuity, homotopy, and lifting.

In response to these issues, then, future developments in the field of digital topological complexity are likely to be best served by first establishing a solid foundation for the field itself. Accordingly, this section proposes a framework for the field that is founded upon adjacencies, digital continuity, path spaces, and lifting.

The proposed foundational framework and its interconnections are summarized in Figure 3.

Figure 3. Proposed framework for developing mathematically rigorous digital and proximal topological complexity theories.

The first requirement for a rigorous theory is the explicit specification of adjacency structures.

Since digital topology is fundamentally adjacency-dependent, every construction should clearly identify:

the digital image ( X , κ ) .the adjacency relation κ .the adjacency relations used on codomain spaces.the product adjacencies employed in subsequent constructions.

Many homotopy-theoretic properties depend directly on adjacency choices. Consequently, future research should aim to classify admissible adjacencies and identify conditions under which topological complexity invariants remain stable.

Recommendation R1

Every theorem should explicitly state the adjacency structures used throughout the construction.

A second requirement concerns digital continuity.

Many of the constructions that have been made so far have used evaluation maps, projection maps, inclusion maps, motion-planning maps, and digital fibrations. Each of these concepts requires some discussion of the notion of continuity.

A neighborhood-based characterization of digital continuity may be expressed through

for every x ∈ X .

Such formulations provide explicit criteria for verifying continuity and can serve as foundational tools in future developments.

Recommendation R2

Digital continuity should be verified before introducing homotopy-theoretic or fibrational constructions.

Digital homotopy constitutes the homotopy-theoretic foundation of digital topological complexity.

Future developments should establish:

adjacency-compatible homotopies.endpoint-preserving homotopies.product-compatible homotopies.homotopy invariance results.compatibility with digital continuity.

Particular attention should be given to the interaction between homotopies and product adjacencies, since many TC constructions rely on products of digital images.

The proposed framework is not intended to replace existing theories. Rather, it seeks to provide a common foundational structure within which current digital and proximal topological complexity constructions can be reformulated, verified, and further developed.

Recommendation R3

Homotopy constructions should be verified relative to explicitly specified adjacency and product-adjacency structures.

Digital path spaces remain one of the most important foundational challenges in current digital TC theory.

A rigorous path-space framework should include:

digital intervals.adjacency structures on path spaces.path concatenation operations.evaluation maps.endpoint preservation properties.compatibility with homotopy constructions.

The examples discussed in Section 5 demonstrate that path-length equalization alone is insufficient to guarantee path-space compatibility.

Recommendation R4

Digital path-space theory should be developed as an independent mathematical structure rather than being transferred directly from classical path-space theory.

One of the strongest available foundations for digital homotopy theory is digital covering theory.

Future developments involving digital fibrations, digital Schwarz genus, and generalized topological complexity should be supported by:

digital covering spaces.local digital homeomorphisms.unique path lifting properties.digital homotopy lifting properties.

These structures provide rigorous mechanisms for transferring paths and homotopies through adjacency-based environments.

Recommendation R5

Whenever possible, digital fibrational constructions should be justified through covering and lifting theory.

Many of the difficulties identified in this review originate from product constructions.

Future theories should explicitly address spaces such as:

X × X , X n , Y × Z , X × [ 0 , m ] ℤ ,

through a systematic product-adjacency framework.

Without such compatibility, continuity, homotopy invariance, and motion-planning constructions may become unstable.

Recommendation R6

Product adjacencies should be regarded as foundational components of digital topological complexity theory rather than secondary technical choices.

Generalized constructions such as:

T C n , T C ( f ) ,digital Schwarz genus,generalized sectional category,higher digital topological complexity,

should be viewed as higher-level structures built upon more fundamental concepts.

Their validity depends on the successful verification of:

adjacency structures.digital continuity.homotopy theory.path-space constructions.lifting properties.

Consequently, generalized theories should only be developed after these foundational components have been rigorously established.

Recommendation R7

Reconstruction should precede generalization.

The proposed framework may offer several benefits.

First, it can enhance the mathematical rigor of the theory.

Second, it can improve the stability of digital and proximal topological invariants under changes of adjacency and homotopy framework.

Third, it can provide a more reliable basis for the computation of TC-type invariants.

Fourth, it may enable a better relationship to be established between digital topological spaces, proximal topological spaces, and classical algebraic topological spaces.

Finally, it can be applied to several important areas such as robotics, image analysis, computer vision, and computer-aided motion planning.

The message of this paper is not that current developments in digital and proximal topology should be abandoned. Instead, the paper suggests that the future developments of the field will benefit from reconstructing the current developments with adjacency structures, continuity, path spaces, and covering spaces.

In other words, the future development of the field may depend less upon the discovery of new invariants, and more upon the establishment of solid foundations for the invariants that already exist.

The evaluation criteria proposed in this paper are intended as heuristic tools for assessing mathematical rigor and structural completeness. They are not designed as automatic criteria for determining the correctness or incorrectness of published results. A construction may satisfy some criteria while requiring additional verification in others. Consequently, the observations presented in this review should be interpreted as constructive suggestions aimed at strengthening future developments rather than as definitive judgments concerning existing theories.