一切与验证有关的综合行为都必须以形（）式体现。