Finished work on undecidability