Natural number from art of prologs and byrd's ph.d. not terminating...