On various tools