The conclusion may be in any form that the sense allows.

I. Present Condition, Non-committal
II. Past Condition, Non-committal

If John had reached home before we started, he must have made a quick journey.

In each of these examples, the speaker declines to commit himself as to the truth of the supposed case. Perhaps the pebble was a diamond, perhaps not; Tom may or may not have apologized; whether or not John had reached home, we cannot tell.

423. In a condition contrary to fact, the if-clause takes the past subjunctive when the condition refers to present time, the pluperfect subjunctive when it refers to past time.

The conclusion regularly takes should or would ([§ 286, 3]).