diff --git a/arbitrum-docs/how-arbitrum-works/inside-arbitrum-nitro.md b/arbitrum-docs/how-arbitrum-works/inside-arbitrum-nitro.md
index ca8223ae6..0198bc4f3 100644
--- a/arbitrum-docs/how-arbitrum-works/inside-arbitrum-nitro.md
+++ b/arbitrum-docs/how-arbitrum-works/inside-arbitrum-nitro.md
@@ -154,9 +154,9 @@ Because a party who tries to cheat will lose a deposit, attempts to cheat should
 
 ## Resolving disputes using interactive fraud proofs
 
-Among optimistic rollups, the most important design decision is how to resolve disputes. Suppose Alice claims that the chain will produce a certain result, and Bob disagrees. How will the protocol decide which version to accept?
+Among optimistic rollups, the most important design decision is how to resolve disputes. Suppose Alice claims that the chain will produce a certain result, but Bob disagrees. How will the protocol decide which version to accept?
 
-There are basically two choices: interactive proving, or re-executing transactions. Arbitrum uses interactive proving, which we believe is more efficient and more flexible. Much of the design of Arbitrum follows from this fact.
+There are two choices: interactive proving and re-executing transactions. Arbitrum uses the former. It offers more efficiency and flexibility. Much of the design of Arbitrum follows from this fact.
 
 ### Interactive proving