diff --git a/protocol/protocol.tex b/protocol/protocol.tex
index f3bac03d..22ada09b 100644
--- a/protocol/protocol.tex
+++ b/protocol/protocol.tex
@@ -7370,7 +7370,8 @@ $\versionField \geq 4$ and $\nShieldedSpend + \nShieldedOutput > 0$.
   \presaplingitem{If $\versionField = 1$ or $\nJoinSplit = 0$, then \txInCount{} \MUSTNOT be $0$.}
   \saplingonwarditem{At least one of \txInCount, \nShieldedSpend, and \nJoinSplit{} \MUST be nonzero.}
   \item A \transaction with one or more inputs from \coinbaseTransactions{} \MUST have no
-        \transparent outputs (i.e.\ \txOutCount{} \MUST be $0$).
+        \transparent outputs (i.e.\ \txOutCount{} \MUST be $0$). Note that inputs from
+        \coinbaseTransactions include \foundersReward outputs.
   \item If $\versionField \geq 2$ and $\nJoinSplit > 0$, then:
         \begin{itemize}
           \item \joinSplitPubKey{} \MUST represent a valid $\JoinSplitSigSpecific$ public key
@@ -7386,7 +7387,8 @@ $\versionField \geq 4$ and $\nShieldedSpend + \nShieldedOutput > 0$.
         \joinSplitDescriptions\sapling{, \spendDescriptions, or \outputDescriptions}.
   \item A \transaction{} \MUSTNOT spend an output of a \coinbaseTransaction
         (necessarily a \transparent output) from a \block less than 100 \blocks prior
-        to the spend.
+        to the spend. Note that outputs of \coinbaseTransactions include \foundersReward
+        outputs.
   \nuzeroonwarditem{\nExpiryHeight{} \MUST be less than or equal to 499999999.}
   \nuzeroonwarditem{If a \transaction is not a \coinbaseTransaction and its \nExpiryHeight{} field
         is nonzero, then it \MUSTNOT be mined at a \blockHeight greater than its \nExpiryHeight.}
@@ -8751,6 +8753,8 @@ Daira Hopwood, Sean Bowe, and Jack Grigg.
 \subparagraph{2018.0-beta-16}
 
 \begin{itemize}
+    \item Explicitly note that outputs from \coinbaseTransactions include
+          \foundersReward outputs.
     \item The point represented by $\EdDSAReprR$ in an $\JoinSplitSigSpecific$ signature is checked
           to not be of small order; this is not the same as checking that it is of
           prime order $\ell$.