Text this: The undecidable :