存在例示应当在全称例示之前进行。