Element 'intuitionistic logic'