A subjunctive conditional asserting that were to hold at some time , then would have held at some point earlier than . For example, the conditional
suggests that because Kafka’s premature death left The Castle unfinished, the truth of the antecedent (the existence of a completed copy of The Castle) at the present date would entail the truth of the consequent (i.e., Kafka’s recovery) in 1924.