GitBook: [#62] Minor tweaks to intro section

Author: asaj

README.md

@@ -2,15 +2,15 @@
 description: New to Abacus? Start here.
 ---
 
-# Overview
+# What is Abacus?
 
 ### What is Abacus?
 
 Abacus is a developer platform that allows users to build interchain decentralized applications.
 
 Applications built on top of Abacus can share state across multiple blockchains using Abacus'  generalized cross-chain messaging protocol. 
 
-Abacus isn’t a blockchain. Abacus is how you build interchain applications.
+Abacus isn’t a blockchain. Abacus is how you build truly interchain applications.
 
 ### What problem does Abacus solve?
 
@@ -22,17 +22,17 @@ On the other hand, a web3 developer's choice of hosting environment can have exi
 
 Until now.
 
-We envision a world where developers think more about the application they're building than the substrate they're building it on. Where developers and applications are not tied to a single chain. Where developers can build applications that are accessible from everywhere, and composable with everything.
+We envision a world where developers think more about the application they're building than the substrate they're building it on. Where developers and applications are not tied to a single chain. Where developers can build applications that are accessible from everywhere and composable with everything.
 
 [Read more ](introduction/vision.md)about Abacus' vision for interchain applications.
 
 ### How does Abacus work?
 
-Abacus is a generalized messaging protocol that allows applications to communicate across blockchains.
+Abacus is a generalized messaging protocol that allows applications to communicate between blockchains.
 
 With a simple smart contract call, Alice on Ethereum can send a message to Bob on Avalanche.
 
-Abacus is [secured](protocol/security/) by a [proof-of-stake](protocol/security/proof-of-stake.md) validator set, combined with a novel approach to application-specific security we call [sovereign consensus](protocol/security/sovereign-consensus.md).
+Abacus is [secured](protocol/security/) by a [proof-of-stake](protocol/security/proof-of-stake.md) validator set in combination with a novel approach to application-specific security we call [sovereign consensus](protocol/security/sovereign-consensus.md).
 
 [Read more](broken-reference) about the Abacus protocol.
 

introduction/background.md

@@ -22,7 +22,7 @@ In these days, smart contract platforms were still nascent. Ethereum had launche
 
 IBC is the intellectual precursor that inspires the Abacus design philosophy. While IBC is the most secure and effective way to achieve **intra-**ecosystem interoperability, it does not allow for communication across non-Cosmos-SDK chains, which is required in the heterogenous multi-chain world that has since developed.\
 \
-The emergence of a multi-chain world brought the next era of interoperability, token bridges.
+The emergence of a multi-chain world brought the next era of interoperability: token bridges.
 
 #### _2020-2022: The bridges are coming!_
 

introduction/vision.md

@@ -1,10 +1,10 @@
 ---
-description: Interchain applications, the next era of interoperability
+description: 'Interchain applications: The next era of interoperability'
 ---
 
 # Vision
 
-We believe the next era of interoperability will be defined by interchain applications that are natively interoperable across blockchains, and that do not defer any of this responsibility to users.
+We believe the next era of interoperability will be defined by interchain applications that are natively interoperable across blockchains, and that do not defer any of this responsibility to their users.
 
 ### Interchain applications