a few more tools