diff --git a/Zettelkasten/Permanent Notes/Literature Notes/LIT-20250819112550-strix-explicit-reactive-synthesis-strikes-back.md b/Zettelkasten/Permanent Notes/Literature Notes/LIT-20250819112550-strix-explicit-reactive-synthesis-strikes-back.md
index 462ca72d..049cbbcd 100644
--- a/Zettelkasten/Permanent Notes/Literature Notes/LIT-20250819112550-strix-explicit-reactive-synthesis-strikes-back.md	
+++ b/Zettelkasten/Permanent Notes/Literature Notes/LIT-20250819112550-strix-explicit-reactive-synthesis-strikes-back.md	
@@ -3,7 +3,7 @@ id: LIT-20250819112550
 title: Strix: Explicit Reactive Synthesis Strikes Back!
 type: literature
 created: 2025-08-19T15:25:50Z
-modified: 2025-08-19T16:48:14Z
+modified: 2025-08-19T16:50:53Z
 citekey: meyerStrixExplicitReactive2018
 ---
 
@@ -35,10 +35,19 @@ Easy to read!
 
 ## Second Pass
 **What is the main thrust?**
+The main thrust is their new tool, Strix.
 
 **What is the supporting evidence?**
+They make a testing suite that is supposed to be similar to
+the SYNTCOMP2017 testing setup, and run their solver
+through the same trials that the competition included. They
+achieve pretty good results: much much faster solve times
+while also keeping automata size small.
 
 **What are the key findings?**
+Strix is pretty good. The use of DBAs seems effective. Their
+'quality', a measure of automata size vs specification size,
+is also pretty good compared to other synthesizers.
 
 ## Third Pass
 **Recreation Notes:**