Komentari na definicija autora mravojeb