6.2
general documentation
write_theory