For completeness: Non trivial properties of languages are undecidable.