diff --git a/1FundamentalGroup/Quest3.agda b/1FundamentalGroup/Quest3.agda
index 15d5b14..85bef2d 100644
--- a/1FundamentalGroup/Quest3.agda
+++ b/1FundamentalGroup/Quest3.agda
@@ -1 +1,3 @@
 module 1FundamentalGroup.Quest3 where
+
+open import 1FundamentalGroup.Preambles.P3
diff --git a/_build/2.6.2/agda/1FundamentalGroup/Quest3.agdai b/_build/2.6.2/agda/1FundamentalGroup/Quest3.agdai
index 32e7ecf..9c73ed5 100644
Binary files a/_build/2.6.2/agda/1FundamentalGroup/Quest3.agdai and b/_build/2.6.2/agda/1FundamentalGroup/Quest3.agdai differ