diff --git a/plutus-book/doc/images/outputs.png b/plutus-book/doc/images/outputs.png
new file mode 100644
index 00000000000..b392de5d1e9
Binary files /dev/null and b/plutus-book/doc/images/outputs.png differ
diff --git a/plutus-book/doc/images/restrnotation.png b/plutus-book/doc/images/restrnotation.png
new file mode 100644
index 00000000000..5578aa94222
Binary files /dev/null and b/plutus-book/doc/images/restrnotation.png differ
diff --git a/plutus-book/doc/images/utxoupd.png b/plutus-book/doc/images/utxoupd.png
new file mode 100644
index 00000000000..562fc37db6b
Binary files /dev/null and b/plutus-book/doc/images/utxoupd.png differ
diff --git a/plutus-book/doc/plutus.adoc b/plutus-book/doc/plutus.adoc
index 93c4b9526eb..467500bce7c 100644
--- a/plutus-book/doc/plutus.adoc
+++ b/plutus-book/doc/plutus.adoc
@@ -38,4 +38,4 @@ include::09-extended.adoc[]
 include::off-chain/off-chain.adoc[]
 include::game/game.adoc[]
 include::parameters/parameters.adoc[]
-include::bibliography.adoc[]
+include::bibliography.adoc[]
\ No newline at end of file