ex5 (from An-D.B. hohoho)