computability and analyze eval 565989