intuitionistic

not defined yet