diff --git a/documentation/current/eiffelstudio/_images/assertion-options-2.png b/documentation/current/eiffelstudio/_images/assertion-options-2.png
new file mode 100644
index 00000000..3a00d9fa
Binary files /dev/null and b/documentation/current/eiffelstudio/_images/assertion-options-2.png differ
diff --git a/documentation/current/eiffelstudio/_images/assertion-options-2.png.data b/documentation/current/eiffelstudio/_images/assertion-options-2.png.data
new file mode 100644
index 00000000..94f70382
--- /dev/null
+++ b/documentation/current/eiffelstudio/_images/assertion-options-2.png.data
@@ -0,0 +1,3 @@
+title=assertion-options
+author=halw
+path=content/assertion-options
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-project-settings-window/general-target-options/assertion-options.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-project-settings-window/general-target-options/assertion-options.wiki
index f444f029..8b6ddaba 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-project-settings-window/general-target-options/assertion-options.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-project-settings-window/general-target-options/assertion-options.wiki
@@ -1,11 +1,15 @@
 [[Property:title|Assertion Options]]
 [[Property:weight|2]]
 [[Property:uuid|12520e45-beb4-2200-9e60-91736a3ed092]]
-This is where you can configure the assertion level for your project.
+'''Assertions''' allows you to configure the assertion checking levels for your project. This means that any assertion type marked '''True''' in the '''Assertions''' table will be checked at runtime. So, in the example screen shown below, only preconditions (denoted in the table by '''Require''') will be checked at runtime. All other assertion types will not be checked at runtime.
+
+Each assertion setting can be configured independently of the others.
+
+'''Supplier Precondition''' is a special case. When you develop new software, your software reuses libraries of existing software from other sources, such as the Eiffel Libraries. This library software is often well-established and highly reliable. Setting '''Supplier Precondition''' to '''True''' is a convenient way of setting only precondition checking on libraries, while allowing your own software to be checked to whatever degree you've determined by adjusting the other assertion level settings.
+
 
 [[Image:assertion-options|Condition dialog]]  
 
-Each precondition setting can be changed independently from each other.