Text this: Deconstructing undecidability :