add methods for intuitionistic logic