please see http://www.cs.cornell.edu/w8/~ebreck/pa_arg/