diff --git a/Technology b/Technology
index 37ca007..3fc109d 100644
--- a/Technology
+++ b/Technology
@@ -120,6 +120,10 @@ infrastructure](https://www.freebsd.org/news/2012-compromise.html),
 
 ### Functional programming style
 
+As discussed in the system security paragraph, many security advantages of MirageOS are
+based on the choice of a programming language in which problems can be solved in a functional style.
+This style allows us to reason about the possible states of a system.
+
 ### Performance
 
 OCaml code compiles to native code running in the OCaml runtime, which is