new: barr-wells-1999, moggi-1991