definite programs
Revert "+4 definitions"

This reverts commit 5492d94e7648a1d6d274fce029f255c025155452.
general + termination I
first chapter of fables de la fontaine
fix typos DEP ch 1-4
BNAIC paper storage