We can actually live only in the real-time PRESENT. Our syntactic HAVE does not bring assertion about real time, when we attach it to a Modal and make a hypothesis. We do not need to view it as open-frame real time, then. We can view it as a syntactic anchor and a closed-frame hypothetical time.
Time reference in hypothesis making.