use natural language input by default. twenglish is fixed a bit but still broken for this reason: "private boolean enableTwenglish = false; //whatever it should do, putting
    // in &/ terms without a higher order copula like =/> makes it useless for reasning
    //it needs to be (&/,a1,..an-1) =/> an  and not (&/,a1,..an)"