Use definitions from harts for correct use of the library