This is like some weird version of the halting problem