Rolf Schock: A note on subjunctive and counterfactual implication. Notre Dame J. Formal Log. 3(4): 289-290 (1962)