Grammar

Co-Authored-By: Nicholas Clarke <nick@topos.org.uk>

byron/chain/formal-spec/blockchain-spec.tex

@@ -1475,7 +1475,7 @@ \subsection{Header only validation}
 \end{property}
 
 Property~\ref{prop:roll-back-funk} expresses the fact the there is a function
-that allow us to recover the header-only state by rolling back at most $k$
+that allows us to recover the header-only state by rolling back at most $k$
 blocks, and use this state to validate the headers of an alternate chain. We do
 not enforce our rules to satisfy this property, but it is stated here so that
 it can be used as a reference for the tests in the consensus layer.