[István Halmos' Contributions]