diff --git a/.gitignore b/.gitignore
index e43b0f9..0bc4cc0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,3 @@
 .DS_Store
+_build
+*.agdai
diff --git a/_build/2.6.2/agda/0Trinitarianism/Preambles/P0.agdai b/_build/2.6.2/agda/0Trinitarianism/Preambles/P0.agdai
deleted file mode 100644
index 83d041d..0000000
Binary files a/_build/2.6.2/agda/0Trinitarianism/Preambles/P0.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/0Trinitarianism/Preambles/P1.agdai b/_build/2.6.2/agda/0Trinitarianism/Preambles/P1.agdai
deleted file mode 100644
index d014a9f..0000000
Binary files a/_build/2.6.2/agda/0Trinitarianism/Preambles/P1.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/0Trinitarianism/Preambles/P2.agdai b/_build/2.6.2/agda/0Trinitarianism/Preambles/P2.agdai
deleted file mode 100644
index 075f760..0000000
Binary files a/_build/2.6.2/agda/0Trinitarianism/Preambles/P2.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/0Trinitarianism/Preambles/P3.agdai b/_build/2.6.2/agda/0Trinitarianism/Preambles/P3.agdai
deleted file mode 100644
index 78d275a..0000000
Binary files a/_build/2.6.2/agda/0Trinitarianism/Preambles/P3.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/0Trinitarianism/Preambles/P4.agdai b/_build/2.6.2/agda/0Trinitarianism/Preambles/P4.agdai
deleted file mode 100644
index 1b6a314..0000000
Binary files a/_build/2.6.2/agda/0Trinitarianism/Preambles/P4.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/0Trinitarianism/Preambles/P5.agdai b/_build/2.6.2/agda/0Trinitarianism/Preambles/P5.agdai
deleted file mode 100644
index f25d8de..0000000
Binary files a/_build/2.6.2/agda/0Trinitarianism/Preambles/P5.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/0Trinitarianism/Quest1Solutions.agdai b/_build/2.6.2/agda/0Trinitarianism/Quest1Solutions.agdai
deleted file mode 100644
index b23d728..0000000
Binary files a/_build/2.6.2/agda/0Trinitarianism/Quest1Solutions.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/0Trinitarianism/Quest2Solutions.agdai b/_build/2.6.2/agda/0Trinitarianism/Quest2Solutions.agdai
deleted file mode 100644
index dbff92f..0000000
Binary files a/_build/2.6.2/agda/0Trinitarianism/Quest2Solutions.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/0Trinitarianism/Quest3Solutions.agdai b/_build/2.6.2/agda/0Trinitarianism/Quest3Solutions.agdai
deleted file mode 100644
index 5cfb7a3..0000000
Binary files a/_build/2.6.2/agda/0Trinitarianism/Quest3Solutions.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/0Trinitarianism/Quest4.agdai b/_build/2.6.2/agda/0Trinitarianism/Quest4.agdai
deleted file mode 100644
index e0d8f59..0000000
Binary files a/_build/2.6.2/agda/0Trinitarianism/Quest4.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/0Trinitarianism/Quest4Solutions.agdai b/_build/2.6.2/agda/0Trinitarianism/Quest4Solutions.agdai
deleted file mode 100644
index 18283a0..0000000
Binary files a/_build/2.6.2/agda/0Trinitarianism/Quest4Solutions.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/0Trinitarianism/Quest5.agdai b/_build/2.6.2/agda/0Trinitarianism/Quest5.agdai
deleted file mode 100644
index b3bb579..0000000
Binary files a/_build/2.6.2/agda/0Trinitarianism/Quest5.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/0Trinitarianism/Quest5Solutions.agdai b/_build/2.6.2/agda/0Trinitarianism/Quest5Solutions.agdai
deleted file mode 100644
index dec0a52..0000000
Binary files a/_build/2.6.2/agda/0Trinitarianism/Quest5Solutions.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Preambles/P0.agdai b/_build/2.6.2/agda/1FundamentalGroup/Preambles/P0.agdai
deleted file mode 100644
index df9e748..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Preambles/P0.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Preambles/P1.agdai b/_build/2.6.2/agda/1FundamentalGroup/Preambles/P1.agdai
deleted file mode 100644
index 44a8928..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Preambles/P1.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Preambles/P2.agdai b/_build/2.6.2/agda/1FundamentalGroup/Preambles/P2.agdai
deleted file mode 100644
index b505cad..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Preambles/P2.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Preambles/P3.agdai b/_build/2.6.2/agda/1FundamentalGroup/Preambles/P3.agdai
deleted file mode 100644
index d4a3fd8..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Preambles/P3.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Preambles/PEmpty.agdai b/_build/2.6.2/agda/1FundamentalGroup/Preambles/PEmpty.agdai
deleted file mode 100644
index bb8c0ba..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Preambles/PEmpty.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Preambles/PTrueNotFalse.agdai b/_build/2.6.2/agda/1FundamentalGroup/Preambles/PTrueNotFalse.agdai
deleted file mode 100644
index d38ed4c..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Preambles/PTrueNotFalse.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Preambles/Quest0Preamble.agdai b/_build/2.6.2/agda/1FundamentalGroup/Preambles/Quest0Preamble.agdai
deleted file mode 100644
index 96680f4..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Preambles/Quest0Preamble.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Quest0.agdai b/_build/2.6.2/agda/1FundamentalGroup/Quest0.agdai
deleted file mode 100644
index f3f0ab2..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Quest0.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Quest0SideQuests/Empty.agdai b/_build/2.6.2/agda/1FundamentalGroup/Quest0SideQuests/Empty.agdai
deleted file mode 100644
index 75a28ce..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Quest0SideQuests/Empty.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Quest0SideQuests/EmptySolutions.agdai b/_build/2.6.2/agda/1FundamentalGroup/Quest0SideQuests/EmptySolutions.agdai
deleted file mode 100644
index 6983ed0..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Quest0SideQuests/EmptySolutions.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Quest0SideQuests/SideQuest0.agdai b/_build/2.6.2/agda/1FundamentalGroup/Quest0SideQuests/SideQuest0.agdai
deleted file mode 100644
index a266b9d..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Quest0SideQuests/SideQuest0.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Quest0SideQuests/TrueNotFalse.agdai b/_build/2.6.2/agda/1FundamentalGroup/Quest0SideQuests/TrueNotFalse.agdai
deleted file mode 100644
index 059626c..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Quest0SideQuests/TrueNotFalse.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Quest0SideQuests/TrueNotFalseSolutions.agdai b/_build/2.6.2/agda/1FundamentalGroup/Quest0SideQuests/TrueNotFalseSolutions.agdai
deleted file mode 100644
index 89b5938..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Quest0SideQuests/TrueNotFalseSolutions.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Quest0Solutions.agdai b/_build/2.6.2/agda/1FundamentalGroup/Quest0Solutions.agdai
deleted file mode 100644
index 34bf250..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Quest0Solutions.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Quest1.agdai b/_build/2.6.2/agda/1FundamentalGroup/Quest1.agdai
deleted file mode 100644
index a6fac66..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Quest1.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Quest1SideQuests/Sn.agdai b/_build/2.6.2/agda/1FundamentalGroup/Quest1SideQuests/Sn.agdai
deleted file mode 100644
index 31d804c..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Quest1SideQuests/Sn.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Quest1SideQuests/SnSolutions.agdai b/_build/2.6.2/agda/1FundamentalGroup/Quest1SideQuests/SnSolutions.agdai
deleted file mode 100644
index fda14df..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Quest1SideQuests/SnSolutions.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Quest1Solutions.agdai b/_build/2.6.2/agda/1FundamentalGroup/Quest1Solutions.agdai
deleted file mode 100644
index bb51502..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Quest1Solutions.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Quest2.agdai b/_build/2.6.2/agda/1FundamentalGroup/Quest2.agdai
deleted file mode 100644
index 187d52a..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Quest2.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Quest2Solutions.agdai b/_build/2.6.2/agda/1FundamentalGroup/Quest2Solutions.agdai
deleted file mode 100644
index 641cbbb..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Quest2Solutions.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Quest3.agdai b/_build/2.6.2/agda/1FundamentalGroup/Quest3.agdai
deleted file mode 100644
index 9c73ed5..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Quest3.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Quest3Solutions.agdai b/_build/2.6.2/agda/1FundamentalGroup/Quest3Solutions.agdai
deleted file mode 100644
index 0f25dc9..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Quest3Solutions.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Shelf/questExtras.agdai b/_build/2.6.2/agda/1FundamentalGroup/Shelf/questExtras.agdai
deleted file mode 100644
index 34e056c..0000000
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Shelf/questExtras.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/Trinitarianism/AsCats.agdai b/_build/2.6.2/agda/Trinitarianism/AsCats.agdai
deleted file mode 100644
index c576fe7..0000000
Binary files a/_build/2.6.2/agda/Trinitarianism/AsCats.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/Trinitarianism/AsProps/Quest0Preamble.agdai b/_build/2.6.2/agda/Trinitarianism/AsProps/Quest0Preamble.agdai
deleted file mode 100644
index 913d317..0000000
Binary files a/_build/2.6.2/agda/Trinitarianism/AsProps/Quest0Preamble.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/Trinitarianism/AsProps/Quest0Solutions.agdai b/_build/2.6.2/agda/Trinitarianism/AsProps/Quest0Solutions.agdai
deleted file mode 100644
index 795a1ce..0000000
Binary files a/_build/2.6.2/agda/Trinitarianism/AsProps/Quest0Solutions.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/Trinitarianism/Preambles/P0.agdai b/_build/2.6.2/agda/Trinitarianism/Preambles/P0.agdai
deleted file mode 100644
index 6ccb441..0000000
Binary files a/_build/2.6.2/agda/Trinitarianism/Preambles/P0.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/Trinitarianism/Preambles/P1.agdai b/_build/2.6.2/agda/Trinitarianism/Preambles/P1.agdai
deleted file mode 100644
index d4d2fc9..0000000
Binary files a/_build/2.6.2/agda/Trinitarianism/Preambles/P1.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/Trinitarianism/Preambles/P2.agdai b/_build/2.6.2/agda/Trinitarianism/Preambles/P2.agdai
deleted file mode 100644
index 6f40a83..0000000
Binary files a/_build/2.6.2/agda/Trinitarianism/Preambles/P2.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/Trinitarianism/Quest0Preamble.agdai b/_build/2.6.2/agda/Trinitarianism/Quest0Preamble.agdai
deleted file mode 100644
index efab688..0000000
Binary files a/_build/2.6.2/agda/Trinitarianism/Quest0Preamble.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/Trinitarianism/Quest0Solutions.agdai b/_build/2.6.2/agda/Trinitarianism/Quest0Solutions.agdai
deleted file mode 100644
index 84a548e..0000000
Binary files a/_build/2.6.2/agda/Trinitarianism/Quest0Solutions.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/Trinitarianism/Quest1Solutions.agdai b/_build/2.6.2/agda/Trinitarianism/Quest1Solutions.agdai
deleted file mode 100644
index b0c96bd..0000000
Binary files a/_build/2.6.2/agda/Trinitarianism/Quest1Solutions.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/Trinitarianism/Quest2.agdai b/_build/2.6.2/agda/Trinitarianism/Quest2.agdai
deleted file mode 100644
index 6d7bec3..0000000
Binary files a/_build/2.6.2/agda/Trinitarianism/Quest2.agdai and /dev/null differ
diff --git a/_build/2.6.2/agda/Trinitarianism/Quest2Solutions.agdai b/_build/2.6.2/agda/Trinitarianism/Quest2Solutions.agdai
deleted file mode 100644
index bb64659..0000000
Binary files a/_build/2.6.2/agda/Trinitarianism/Quest2Solutions.agdai and /dev/null differ
diff --git a/_build/2.6.3/agda/0Trinitarianism/Preambles/P1.agdai b/_build/2.6.3/agda/0Trinitarianism/Preambles/P1.agdai
deleted file mode 100644
index 2cb07d7..0000000
Binary files a/_build/2.6.3/agda/0Trinitarianism/Preambles/P1.agdai and /dev/null differ
diff --git a/_build/2.6.3/agda/0Trinitarianism/Preambles/P2.agdai b/_build/2.6.3/agda/0Trinitarianism/Preambles/P2.agdai
deleted file mode 100644
index d22d6a5..0000000
Binary files a/_build/2.6.3/agda/0Trinitarianism/Preambles/P2.agdai and /dev/null differ
diff --git a/_build/2.6.3/agda/0Trinitarianism/Preambles/P3.agdai b/_build/2.6.3/agda/0Trinitarianism/Preambles/P3.agdai
deleted file mode 100644
index 71f515e..0000000
Binary files a/_build/2.6.3/agda/0Trinitarianism/Preambles/P3.agdai and /dev/null differ
diff --git a/_build/2.6.3/agda/0Trinitarianism/Quest1Solutions.agdai b/_build/2.6.3/agda/0Trinitarianism/Quest1Solutions.agdai
deleted file mode 100644
index 1969144..0000000
Binary files a/_build/2.6.3/agda/0Trinitarianism/Quest1Solutions.agdai and /dev/null differ
diff --git a/_build/2.6.3/agda/0Trinitarianism/Quest2Solutions.agdai b/_build/2.6.3/agda/0Trinitarianism/Quest2Solutions.agdai
deleted file mode 100644
index c0efbe6..0000000
Binary files a/_build/2.6.3/agda/0Trinitarianism/Quest2Solutions.agdai and /dev/null differ
diff --git a/_build/2.6.3/agda/0Trinitarianism/Quest3Solutions.agdai b/_build/2.6.3/agda/0Trinitarianism/Quest3Solutions.agdai
deleted file mode 100644
index 91073bd..0000000
Binary files a/_build/2.6.3/agda/0Trinitarianism/Quest3Solutions.agdai and /dev/null differ
diff --git a/_build/2.6.3/agda/1FundamentalGroup/Quest0.agdai b/_build/2.6.3/agda/1FundamentalGroup/Quest0.agdai
deleted file mode 100644
index 1932573..0000000
Binary files a/_build/2.6.3/agda/1FundamentalGroup/Quest0.agdai and /dev/null differ
diff --git a/_build/2.6.3/agda/1FundamentalGroup/Quest0SideQuests/SideQuest0.agdai b/_build/2.6.3/agda/1FundamentalGroup/Quest0SideQuests/SideQuest0.agdai
deleted file mode 100644
index 6594de6..0000000
Binary files a/_build/2.6.3/agda/1FundamentalGroup/Quest0SideQuests/SideQuest0.agdai and /dev/null differ
diff --git a/_build/2.6.3/agda/1FundamentalGroup/Quest0Solutions.agdai b/_build/2.6.3/agda/1FundamentalGroup/Quest0Solutions.agdai
deleted file mode 100644
index 982b03e..0000000
Binary files a/_build/2.6.3/agda/1FundamentalGroup/Quest0Solutions.agdai and /dev/null differ
diff --git a/_build/2.6.3/agda/1FundamentalGroup/Quest1.agdai b/_build/2.6.3/agda/1FundamentalGroup/Quest1.agdai
deleted file mode 100644
index ab9eae4..0000000
Binary files a/_build/2.6.3/agda/1FundamentalGroup/Quest1.agdai and /dev/null differ
diff --git a/_build/2.6.3/agda/Trinitarianism/AsProps/Quest0Preamble.agdai b/_build/2.6.3/agda/Trinitarianism/AsProps/Quest0Preamble.agdai
deleted file mode 100644
index 6bcced3..0000000
Binary files a/_build/2.6.3/agda/Trinitarianism/AsProps/Quest0Preamble.agdai and /dev/null differ
diff --git a/_build/2.6.3/agda/Trinitarianism/AsTypes/Quest0.agdai b/_build/2.6.3/agda/Trinitarianism/AsTypes/Quest0.agdai
deleted file mode 100644
index e8b5614..0000000
Binary files a/_build/2.6.3/agda/Trinitarianism/AsTypes/Quest0.agdai and /dev/null differ
diff --git a/_build/2.6.3/agda/Trinitarianism/Preambles/P1.agdai b/_build/2.6.3/agda/Trinitarianism/Preambles/P1.agdai
deleted file mode 100644
index 9e73d6c..0000000
Binary files a/_build/2.6.3/agda/Trinitarianism/Preambles/P1.agdai and /dev/null differ
diff --git a/_build/2.6.3/agda/Trinitarianism/Preambles/P2.agdai b/_build/2.6.3/agda/Trinitarianism/Preambles/P2.agdai
deleted file mode 100644
index 23d5416..0000000
Binary files a/_build/2.6.3/agda/Trinitarianism/Preambles/P2.agdai and /dev/null differ
diff --git a/_build/2.6.3/agda/Trinitarianism/Quest0Preamble.agdai b/_build/2.6.3/agda/Trinitarianism/Quest0Preamble.agdai
deleted file mode 100644
index 6a29d8d..0000000
Binary files a/_build/2.6.3/agda/Trinitarianism/Quest0Preamble.agdai and /dev/null differ
diff --git a/_build/2.6.3/agda/Trinitarianism/Quest0Solutions.agdai b/_build/2.6.3/agda/Trinitarianism/Quest0Solutions.agdai
deleted file mode 100644
index 98651e8..0000000
Binary files a/_build/2.6.3/agda/Trinitarianism/Quest0Solutions.agdai and /dev/null differ
diff --git a/_build/2.6.3/agda/Trinitarianism/Quest1.agdai b/_build/2.6.3/agda/Trinitarianism/Quest1.agdai
deleted file mode 100644
index 1bfb08d..0000000
Binary files a/_build/2.6.3/agda/Trinitarianism/Quest1.agdai and /dev/null differ
diff --git a/_build/2.6.3/agda/Trinitarianism/Quest1Solutions.agdai b/_build/2.6.3/agda/Trinitarianism/Quest1Solutions.agdai
deleted file mode 100644
index b594971..0000000
Binary files a/_build/2.6.3/agda/Trinitarianism/Quest1Solutions.agdai and /dev/null differ
diff --git a/_build/2.6.3/agda/Trinitarianism/Quest2Solutions.agdai b/_build/2.6.3/agda/Trinitarianism/Quest2Solutions.agdai
deleted file mode 100644
index 79e4dd0..0000000
Binary files a/_build/2.6.3/agda/Trinitarianism/Quest2Solutions.agdai and /dev/null differ