确实保证保险的种类繁多，大致可概括为（）。

A.合同保证保险

B.司法保证保险

C.存款保证保险

D.诚实保证保险

E.许可证保证保险

下列逻辑错误属于违反同一律的是（）。

A.定义过宽

B.多出子项

C.推不出

D.预期理由

E.模棱两可