This is a fair point, and I conceded it above in one of my first replies.

		jonahx 7 months ago \| parent \| context \| favorite \| on: What does “Undecidable” mean, anyway This is a fair point, and I conceded it above in one of my first replies.