© 2019 by Halmos.