C Russ

Logically undecidable.