diff --git a/0Trinitarianism/Quest5.agda b/0Trinitarianism/Quest5.agda
index e69de29..89b7aaf 100644
--- a/0Trinitarianism/Quest5.agda
+++ b/0Trinitarianism/Quest5.agda
@@ -0,0 +1,3 @@
+module 0Trinitarianism.Quest5 where
+
+open import 0Trinitarianism.Preambles.P5
diff --git a/_build/2.6.2/agda/0Trinitarianism/Quest5.agdai b/_build/2.6.2/agda/0Trinitarianism/Quest5.agdai
new file mode 100644
index 0000000..b3bb579
Binary files /dev/null and b/_build/2.6.2/agda/0Trinitarianism/Quest5.agdai differ