diff --git a/third_party/sophia b/third_party/sophia
new file mode 160000
index 0000000000000000000000000000000000000000..3889eb4777fdff520c140467eab477c0af3ca7c9
--- /dev/null
+++ b/third_party/sophia
@@ -0,0 +1 @@
+Subproject commit 3889eb4777fdff520c140467eab477c0af3ca7c9