20.40 [Renumbered 18.435]