orthonormal comments on Minimal intuitionistic logic as a setting for logical counterfactuals