some tools...