work on theory and documentation