diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index 0d93acea..ab06878a 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -6,10 +6,7 @@
   <component name="ChangeListManager">
     <list default="true" id="48b609c4-0198-44a9-8f40-0a1e1f4ae31e" name="Changes" comment="first theorem implementation">
       <change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/src/punctilious/_formula_notations.py" beforeDir="false" afterPath="$PROJECT_DIR$/src/punctilious/_formula_notations.py" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/src/punctilious/_greek_alphabet_lowercase_serif_italic.py" beforeDir="false" afterPath="$PROJECT_DIR$/src/punctilious/_greek_alphabet_lowercase_serif_italic.py" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/src/punctilious/_greek_alphabet_uppercase_serif_italic.py" beforeDir="false" afterPath="$PROJECT_DIR$/src/punctilious/_greek_alphabet_uppercase_serif_italic.py" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/src/punctilious/_latin_alphabet_lowercase_serif_italic.py" beforeDir="false" afterPath="$PROJECT_DIR$/src/punctilious/_latin_alphabet_lowercase_serif_italic.py" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/tests/test_shared_library.py" beforeDir="false" afterPath="$PROJECT_DIR$/tests/test_shared_library.py" afterDir="false" />
     </list>
     <option name="SHOW_DIALOG" value="false" />
     <option name="HIGHLIGHT_CONFLICTS" value="true" />
@@ -247,6 +244,7 @@
     "Python tests.pytest for test_minimal_logic_1.TestPL4.test_pl4.executor": "Debug",
     "Python tests.pytest for test_minimal_logic_1.TestPL4.test_pl4_with_auto_derivation.executor": "Run",
     "Python tests.pytest for test_minimal_logic_1.TestPL5.test_pl5_with_auto_derivation.executor": "Run",
+    "Python tests.pytest for test_packaging.TestPackaging.test_bundling.executor": "Run",
     "Python tests.pytest for test_pl1.TestMinimalPropositionalLogic.test_init.executor": "Run",
     "Python tests.pytest for test_pl1.TestPL1.test_compounding_formulas_1.executor": "Debug",
     "Python tests.pytest for test_pl1.TestPL1.test_connectives_1.executor": "Debug",
@@ -463,7 +461,7 @@
       <recent name="$PROJECT_DIR$/src/punctilious/data2/mappings" />
     </key>
   </component>
-  <component name="RunManager" selected="Python tests.pytest in tests">
+  <component name="RunManager" selected="Python tests.pytest for test_packaging.TestPackaging.test_bundling">
     <configuration name="build" type="PythonConfigurationType" factoryName="Python" nameIsGenerated="true">
       <module name="2023_05_02_PyCharmProject_Maths" />
       <option name="ENV_FILES" value="" />
@@ -721,41 +719,41 @@
       <option name="_new_targetType" value="&quot;PYTHON&quot;" />
       <method v="2" />
     </configuration>
-    <configuration name="pytest in punctilious" type="tests" factoryName="py.test" nameIsGenerated="true">
+    <configuration name="pytest for test_packaging.TestPackaging.test_bundling" type="tests" factoryName="py.test" temporary="true" nameIsGenerated="true">
       <module name="2023_05_02_PyCharmProject_Maths" />
       <option name="ENV_FILES" value="" />
       <option name="INTERPRETER_OPTIONS" value="" />
       <option name="PARENT_ENVS" value="true" />
       <option name="SDK_HOME" value="" />
-      <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$" />
+      <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$/tests" />
       <option name="IS_MODULE_SDK" value="true" />
       <option name="ADD_CONTENT_ROOTS" value="true" />
       <option name="ADD_SOURCE_ROOTS" value="true" />
       <option name="_new_keywords" value="&quot;&quot;" />
       <option name="_new_parameters" value="&quot;&quot;" />
       <option name="_new_additionalArguments" value="&quot;&quot;" />
-      <option name="_new_target" value="&quot;$PROJECT_DIR$&quot;" />
-      <option name="_new_targetType" value="&quot;PATH&quot;" />
+      <option name="_new_target" value="&quot;test_packaging.TestPackaging.test_bundling&quot;" />
+      <option name="_new_targetType" value="&quot;PYTHON&quot;" />
       <method v="2" />
     </configuration>
-    <configuration name="pytest in test_greek_alphabet_lowercase_serif_italic.py" type="tests" factoryName="py.test" temporary="true" nameIsGenerated="true">
+    <configuration name="pytest in punctilious" type="tests" factoryName="py.test" nameIsGenerated="true">
       <module name="2023_05_02_PyCharmProject_Maths" />
       <option name="ENV_FILES" value="" />
       <option name="INTERPRETER_OPTIONS" value="" />
       <option name="PARENT_ENVS" value="true" />
       <option name="SDK_HOME" value="" />
-      <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$/tests" />
+      <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$" />
       <option name="IS_MODULE_SDK" value="true" />
       <option name="ADD_CONTENT_ROOTS" value="true" />
       <option name="ADD_SOURCE_ROOTS" value="true" />
       <option name="_new_keywords" value="&quot;&quot;" />
       <option name="_new_parameters" value="&quot;&quot;" />
       <option name="_new_additionalArguments" value="&quot;&quot;" />
-      <option name="_new_target" value="&quot;$PROJECT_DIR$/tests/test_greek_alphabet_lowercase_serif_italic.py&quot;" />
+      <option name="_new_target" value="&quot;$PROJECT_DIR$&quot;" />
       <option name="_new_targetType" value="&quot;PATH&quot;" />
       <method v="2" />
     </configuration>
-    <configuration name="pytest in test_representations.py" type="tests" factoryName="py.test" temporary="true" nameIsGenerated="true">
+    <configuration name="pytest in test_greek_alphabet_lowercase_serif_italic.py" type="tests" factoryName="py.test" temporary="true" nameIsGenerated="true">
       <module name="2023_05_02_PyCharmProject_Maths" />
       <option name="ENV_FILES" value="" />
       <option name="INTERPRETER_OPTIONS" value="" />
@@ -768,7 +766,7 @@
       <option name="_new_keywords" value="&quot;&quot;" />
       <option name="_new_parameters" value="&quot;&quot;" />
       <option name="_new_additionalArguments" value="&quot;&quot;" />
-      <option name="_new_target" value="&quot;$PROJECT_DIR$/tests/test_representations.py&quot;" />
+      <option name="_new_target" value="&quot;$PROJECT_DIR$/tests/test_greek_alphabet_lowercase_serif_italic.py&quot;" />
       <option name="_new_targetType" value="&quot;PATH&quot;" />
       <method v="2" />
     </configuration>
@@ -802,20 +800,20 @@
       <item itemvalue="Python tests.pytest in punctilious" />
       <item itemvalue="Python tests.pytest for test_identifiers.TestSlug" />
       <item itemvalue="Python tests.pytest for test_identifiers.TestSlug.test_unique_identifier" />
+      <item itemvalue="Python tests.pytest for test_packaging.TestPackaging.test_bundling" />
       <item itemvalue="Python tests.pytest in test_greek_alphabet_lowercase_serif_italic.py" />
       <item itemvalue="Python tests.pytest in tests" />
-      <item itemvalue="Python tests.pytest in test_representations.py" />
       <item itemvalue="Shell Script.pytest tests" />
       <item itemvalue="Shell Script.pytest" />
       <item itemvalue="Shell Script.python -m build" />
     </list>
     <recent_temporary>
       <list>
+        <item itemvalue="Python tests.pytest for test_packaging.TestPackaging.test_bundling" />
         <item itemvalue="Python tests.pytest in tests" />
         <item itemvalue="Python tests.pytest in test_greek_alphabet_lowercase_serif_italic.py" />
         <item itemvalue="Python tests.pytest for test_identifiers.TestSlug.test_unique_identifier" />
         <item itemvalue="Python tests.pytest for test_identifiers.TestSlug" />
-        <item itemvalue="Python tests.pytest in test_representations.py" />
       </list>
     </recent_temporary>
   </component>
@@ -835,14 +833,6 @@
       <option name="presentableId" value="Default" />
       <updated>1687980987309</updated>
     </task>
-    <task id="LOCAL-01174" summary="interpretation">
-      <option name="closed" value="true" />
-      <created>1733639416240</created>
-      <option name="number" value="01174" />
-      <option name="presentableId" value="LOCAL-01174" />
-      <option name="project" value="LOCAL" />
-      <updated>1733639416240</updated>
-    </task>
     <task id="LOCAL-01175" summary="interpretation integrated with foundations">
       <option name="closed" value="true" />
       <created>1733644925706</created>
@@ -1227,7 +1217,15 @@
       <option name="project" value="LOCAL" />
       <updated>1734725759821</updated>
     </task>
-    <option name="localTasksCounter" value="1223" />
+    <task id="LOCAL-01223" summary="first theorem implementation">
+      <option name="closed" value="true" />
+      <created>1734726097638</created>
+      <option name="number" value="01223" />
+      <option name="presentableId" value="LOCAL-01223" />
+      <option name="project" value="LOCAL" />
+      <updated>1734726097638</updated>
+    </task>
+    <option name="localTasksCounter" value="1224" />
     <servers>
       <YouTrack url="https://punctilious.youtrack.cloud">
         <username>random</username>
@@ -1398,6 +1396,11 @@
           <line>86</line>
           <option name="timeStamp" value="328" />
         </line-breakpoint>
+        <line-breakpoint enabled="true" suspend="THREAD" type="python-line">
+          <url>file://$PROJECT_DIR$/tests/test_packaging.py</url>
+          <line>15</line>
+          <option name="timeStamp" value="330" />
+        </line-breakpoint>
       </breakpoints>
       <default-breakpoints>
         <breakpoint type="python-exception">
diff --git a/tests/__pycache__/test_shared_library.cpython-312-pytest-8.3.2.pyc b/tests/__pycache__/test_shared_library.cpython-312-pytest-8.3.2.pyc
index a5b201b7..9961a3f6 100644
Binary files a/tests/__pycache__/test_shared_library.cpython-312-pytest-8.3.2.pyc and b/tests/__pycache__/test_shared_library.cpython-312-pytest-8.3.2.pyc differ
diff --git a/tests/test_shared_library.py b/tests/test_shared_library.py
index 3e4a722f..ebf637d8 100644
--- a/tests/test_shared_library.py
+++ b/tests/test_shared_library.py
@@ -5,7 +5,8 @@
 def create_atomic_connector(c: str):
     ren = pu.RendererForStringConstant(string_constant=c)
     rep = pu.Representation(uid=pu.create_uid(f'rep'), renderers=(ren,))
-    con = pu.Connector(uid=pu.create_uid(f'con'), connector_representation=rep)
+    con = pu.Connector(uid=pu.create_uid(f'con'), connector_representation=rep,
+                       formula_representation=pu.formula_notations.atomic_formula)
     return con
 
 
@@ -15,5 +16,6 @@ def create_function(c: str):
                        '{% endfor %})')
     ren = pu.RendererForStringTemplate(string_template=string_template)
     rep = pu.Representation(uid=pu.create_uid(f'rep'), renderers=(ren,))
-    con = pu.Connector(uid=pu.create_uid(f'fun'), connector_representation=rep)
+    con = pu.Connector(uid=pu.create_uid(f'fun'), connector_representation=rep,
+                       formula_representation=pu.formula_notations.function_formula)
     return con