Presumably the desired feature is not so much “true” or “true and complicated”, but “useful and non-obviously true”.
Presumably the desired feature is not so much “true” or “true and complicated”, but “useful and non-obviously true”.