Generalizable All Variables. (*******************************************************************************) (* Chapter 9.8: Natural Numbers Object *) (*******************************************************************************)