分类: 实际的证量