The Hoa\Model library.