8.3
general documentation
write_theory