Thank you all for the feedback. I learnt I can eliminate quadratic equations. Alas, only very few small sentences seem to be of this form (somewhere around 1% to 2% for size up to 13). Andrej Bauer