Formalization of an Inner Change. PYM 1995, No. 205, 13-15.