Which Orange Book security rating requires that formal techniques are used to prove the equivalence between the TCB specifications and the security policy model?

Which Orange Book security rating requires that formal techniques are used to prove the
equivalence between the TCB specifications and the security policy model?

A.
B2

B.
B3

C.
A1

D.
A2

Explanation:
Reference: Pg 226 Shon Harris: All-in-One CISSP Certification