new post undecidable problem