Better support for U; applied uniform formatting

diff --git a/SampleERCP b/SampleERCP
index bd48b35..10e8749 160000 (submodule)
--- a/SampleERCP
+++ b/SampleERCP
@@ -1 +1 @@
-Subproject commit bd48b3549a226e35a07073dd5beee4c21de1aba5
+Subproject commit 10e87495184e49c5cab906921f0afaf2473d9aed

diff --git a/logic b/logic
index a2c5112..8b0f6e4 160000 (submodule)
--- a/logic
+++ b/logic
@@ -1 +1 @@
-Subproject commit a2c5112c1912ea0c274aea174a45927976b64cf0
+Subproject commit 8b0f6e40d9347b6161e132984499f8c064b580c1

diff --git a/logicui b/logicui
index 283477c..32a3d41 160000 (submodule)
--- a/logicui
+++ b/logicui
@@ -1 +1 @@
-Subproject commit 283477cfdb204c58ae85de1070a37ff0a999ab4d
+Subproject commit 32a3d41c11b96c2530c25b6059b4341a8b34a2e2