Arbitrary variable forcing

2009-12-07, Edouard TISSERANT