A few translations from prod.
paul