a tool for the derive