Next: notion of redefinition/refinement, Previous: init initialization file, Up: Missing Documentation