7.2
general documentation
write_theory