由折叠而产生的存在性问题