s/intuitionistic/constructive/