Definition of Heymectus