+3 defintions, 008_024.pdf finished, at version 0.1.2