Added undecidability stuff