typo
Inference rules of intuitionistic logic