It is the purpose of this paper to elaborate on the argument that formalism is non-neutral; analyses which today would be described as informal turn into something quite different when formalised. The reasons for non-neutrality refer to the choice of assumptions or axioms, the choice of method,...