implemented form processing
- now theorems and articles can be truly added: