Useful tools for working in Tao or more generally in the LRI