617:逆向论和预知论