From 816a7d3be36bb46107fe79cd5cf01ca7e924362e Mon Sep 17 00:00:00 2001
From: linse <sschirme@gmail.com>
Date: Sat, 16 Sep 2017 19:43:04 -0400
Subject: [PATCH] Extra sentence.

---
 Technology | 4 ++++
 1 file changed, 4 insertions(+)

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