Update agglayer.md - fixing minor typos

Update agglayer.md - fixing minor typos

Author: EmpieichO

docs/learn/agglayer.md

@@ -22,7 +22,7 @@ Reliance on bridging in order to connect what are essentially isolated networks,
 
 Let's take a deeper look at cross-chain transfers.
 
-First of all, we understand execution of atomic cross-chain transactions to mean that, with every set of transactions a user submits to multiple chains, the user has the guarantee that either all transactions are execute successfully or none of them is included in any chain.[^1]
+First of all, we understand execution of atomic cross-chain transactions to mean that, with every set of transactions a user submits to multiple chains, the user has the guarantee that either all transactions are executed successfully or none of them is included in any chain.[^1]
 
 Consider the following example as a typical cross-chain transfer.
 
@@ -97,7 +97,7 @@ There's a subtle detail about validiums that needs to be noted.
 
 For all rollup chains, we have all data necessary to retrieve the proof of inclusion for a particular message in some list $M_i$.
 
-But this is not so validium chains. For instance, there could be a 'data withholding' attack.
+But this is not so with validium chains. For instance, there could be a 'data withholding' attack.
 
 So we need to ensure that 'data withholding' attacks do no affect validium users' ability to process an exit or message from a rollup.