some tools I use