6.3
general documentation
write_theory