PIP-0017: minor exits

PIP/PIP-0017.md

@@ -127,10 +127,10 @@ SenderCount > 0
 RecipientCount > 0
 ```
 
-- Ensure all senders have enough to send and pay fee
+- Ensure all senders have enough to send
 ```
 for-all s in Senders 
-    SafeBox.Accounts[s.Account].Balance >= s.Quantity + UnitFee
+    SafeBox.Accounts[s.Account].Balance >= s.Quantity
 ```
 
 - Ensure the amount being spent balances the amount being received