$ echo "To every w-consistent recursive class k of formulae there corr
+espond recursive class signs r, such that neither uGenr nor Neg(uGenr
+) belongs to FLG (k) (where u is the free variable of r)" > yourbinar
+yfile
[download]

Originally posted as a Categorized Answer.