H ilm 12 . pr lisp. , alltRgS