PROVABLY

Before
1: S
are
After
1: S
false, good
2: US
secure, correct
3: SUU
optimal
4: USUU
equivalent
Surrounder Phrases
true falsefalse trueare equal, equivalent, correctsecure equaltotal recursive, equivalentcorrect false