Computer turns are almost working fully. There is a problem if disprove == null