 In what follows these various features of logical constructions will be disentangled. The result appears to be a connected series of analyses sharing at least a family resemblance with each other. The common feature is that in each case some formal or “neat” properties of objects that had to be postulated in axioms before could now be derived as logical consequences of definitions. The replaced entities are variously “fictions”, “incomplete symbols” or simply “constructions” depending on the form that the definitions take.