diff --git a/cargo_klee_examples/examples/array.rs b/cargo_klee_examples/examples/array.rs
index feeabe18eef8e54bd6a9797c8da8c134d322d6c1..3d44d5440c2798eac0b48780bacec6bc5a47a698 100644
--- a/cargo_klee_examples/examples/array.rs
+++ b/cargo_klee_examples/examples/array.rs
@@ -99,6 +99,18 @@ fn main() {
 // Explain in your own words what Microsoft would gain by using Rust.
 //
 // [your answer here]
+// The borrow checker in rust will make sure that the pointers in Microsoft's code will be safe.
+// Pointers can be the cause of horrible bugs that are often very hard to find and can cause a lot
+// of problems. Thus using rust will remove that problem for Microsoft.
+//
+// Rust is also great because it panics when something goes wrong when compiling, many other
+// programming languages sometime dose not give an error at compile time. The bugs will then be in
+// the release version that users use and cause problems. Thus Microsoft will have less bugs in
+// there programs if they use rust because they will be caught before the users see them.
+//
+// Cargo klee would also be of use to Microsoft because of how much better easier it is to use
+// compared to using klee on C code.
+//
 //
 // Explain in your own words what Microsoft would gain by using `cargo klee`
 // on their Rust code.