Deterministic_Verification