Some tools for our work