Modified an Agsy proof (it is more similar to the PA proof).
Modified an Agsy proof (it is more similar to the PA proof).

Ignore-this: 59410d7030fbcca0732245f0667d8f86

darcs-hash:20110111151946-3bd4e-c072880a875ff594f23c4155ce8d6107a8e70812.gz

asr/fotc,asr/fotc