对过去进行时态虚拟就成为：

非真实的条件假设，得出非真实的结果

主从句都有have, have的思維就是表达过去。