premise: In general , the definitions in W have been clarified , simplified , and made more precise in L and true is true and true is true and true is true and true is true and true is true .
hypothesis: We have not been able to simplify the text .