© 2020 by Halmos.