Komentari na definicije autora BulleT-ProoF