The difference between constructive reasoning and other forms of reasoning
does not only show itself in the axioms or principles but also on a more
structural level, for example in the properties of unification and
skolemization. I will discuss several examples of such structural properties
and compare them with nonconstructive analogues.