* AH, hales@fi.muni.cz