From 77f6c809176f2ed5c1a3bf06d977f605eb6edaaf Mon Sep 17 00:00:00 2001
From: daviddoret <david.doret@me.com>
Date: Fri, 20 Dec 2024 22:21:32 +0100
Subject: [PATCH] first theorem implementation

---
 .idea/workspace.xml                           |  61 ++++++++++++------
 src/punctilious/__init__.py                   |   4 ++
 .../__pycache__/__init__.cpython-312.pyc      | Bin 2320 -> 2469 bytes
 .../_formal_language.cpython-312.pyc          | Bin 34285 -> 34536 bytes
 ...perators_1_representations.cpython-312.pyc | Bin 0 -> 1647 bytes
 src/punctilious/_formal_language.py           |   9 +--
 .../_operators_1_representations.py           |  24 +++++++
 .../test_formula.cpython-312-pytest-8.3.2.pyc | Bin 4337 -> 4348 bytes
 ...hared_library.cpython-312-pytest-8.3.2.pyc | Bin 1792 -> 1792 bytes
 tests/test_formula.py                         |   9 ++-
 10 files changed, 79 insertions(+), 28 deletions(-)
 create mode 100644 src/punctilious/__pycache__/_operators_1_representations.cpython-312.pyc
 create mode 100644 src/punctilious/_operators_1_representations.py

diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index ab06878a..817ad8a2 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -5,8 +5,11 @@
   </component>
   <component name="ChangeListManager">
     <list default="true" id="48b609c4-0198-44a9-8f40-0a1e1f4ae31e" name="Changes" comment="first theorem implementation">
+      <change afterPath="$PROJECT_DIR$/src/punctilious/_operators_1_representations.py" afterDir="false" />
       <change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/tests/test_shared_library.py" beforeDir="false" afterPath="$PROJECT_DIR$/tests/test_shared_library.py" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/src/punctilious/__init__.py" beforeDir="false" afterPath="$PROJECT_DIR$/src/punctilious/__init__.py" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/src/punctilious/_formal_language.py" beforeDir="false" afterPath="$PROJECT_DIR$/src/punctilious/_formal_language.py" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/tests/test_formula.py" beforeDir="false" afterPath="$PROJECT_DIR$/tests/test_formula.py" afterDir="false" />
     </list>
     <option name="SHOW_DIALOG" value="false" />
     <option name="HIGHLIGHT_CONFLICTS" value="true" />
@@ -199,7 +202,7 @@
     "Python tests.pytest for test_axiomatic_system_1.TestVariable.test_variable.executor": "Debug",
     "Python tests.pytest for test_axiomatic_system_1.test_is_extension.executor": "Run",
     "Python tests.pytest for test_fl1.TestFormalObject.test_formal_object.executor": "Run",
-    "Python tests.pytest for test_formula.TestFormula.test_formula.executor": "Run",
+    "Python tests.pytest for test_formula.TestFormula.test_formula.executor": "Debug",
     "Python tests.pytest for test_formula_notations.TestFormulaNotations.test_formula_notation.executor": "Run",
     "Python tests.pytest for test_formula_notations.TestFormulaNotations.test_formula_notations.executor": "Run",
     "Python tests.pytest for test_formula_notations.TestFormulaNotations.test_infix_notation.executor": "Run",
@@ -383,7 +386,7 @@
     "Shell Script.build_docs.sh.executor": "Run",
     "git-widget-placeholder": "master",
     "ignore.virus.scanning.warn.message": "true",
-    "last_opened_file_path": "/Users/daviddoret/PycharmProjects/punctilious/tests",
+    "last_opened_file_path": "/Users/daviddoret/PycharmProjects/punctilious/src/punctilious",
     "settings.editor.selected.configurable": "preferences.pluginManager",
     "timeTracker.activityTracker": "null",
     "timeTracker.comment": "",
@@ -447,10 +450,10 @@
   </component>
   <component name="RecentsManager">
     <key name="CopyFile.RECENT_KEYS">
+      <recent name="$PROJECT_DIR$/src/punctilious" />
       <recent name="$PROJECT_DIR$/tests" />
       <recent name="$PROJECT_DIR$/src/punctilious/data/constants" />
       <recent name="$PROJECT_DIR$/src/punctilious/data" />
-      <recent name="$PROJECT_DIR$/src/punctilious" />
       <recent name="$PROJECT_DIR$/src/punctilious/data/mappings" />
     </key>
     <key name="MoveFile.RECENT_KEYS">
@@ -461,7 +464,7 @@
       <recent name="$PROJECT_DIR$/src/punctilious/data2/mappings" />
     </key>
   </component>
-  <component name="RunManager" selected="Python tests.pytest for test_packaging.TestPackaging.test_bundling">
+  <component name="RunManager" selected="Python tests.pytest for test_formula.TestFormula.test_formula">
     <configuration name="build" type="PythonConfigurationType" factoryName="Python" nameIsGenerated="true">
       <module name="2023_05_02_PyCharmProject_Maths" />
       <option name="ENV_FILES" value="" />
@@ -668,7 +671,7 @@
       <option name="_new_targetType" value="&quot;PYTHON&quot;" />
       <method v="2" />
     </configuration>
-    <configuration name="pytest for test_identifiers.TestSlug" type="tests" factoryName="py.test" temporary="true" nameIsGenerated="true">
+    <configuration name="pytest for test_formula.TestFormula.test_formula" 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="" />
@@ -681,7 +684,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;test_identifiers.TestSlug&quot;" />
+      <option name="_new_target" value="&quot;test_formula.TestFormula.test_formula&quot;" />
       <option name="_new_targetType" value="&quot;PYTHON&quot;" />
       <method v="2" />
     </configuration>
@@ -798,7 +801,7 @@
       <item itemvalue="Python tests.pytest for test_axiomatic_system_1.TestAreValidStatementsInTheoryWithVariables.test_are_valid_statements_in_theory_with_variables" />
       <item itemvalue="Python tests.pytest for test_minimal_logic_1.TestPL5.test_pl5_with_auto_derivation" />
       <item itemvalue="Python tests.pytest in punctilious" />
-      <item itemvalue="Python tests.pytest for test_identifiers.TestSlug" />
+      <item itemvalue="Python tests.pytest for test_formula.TestFormula.test_formula" />
       <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" />
@@ -809,11 +812,11 @@
     </list>
     <recent_temporary>
       <list>
-        <item itemvalue="Python tests.pytest for test_packaging.TestPackaging.test_bundling" />
+        <item itemvalue="Python tests.pytest for test_formula.TestFormula.test_formula" />
         <item itemvalue="Python tests.pytest in tests" />
+        <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 for test_identifiers.TestSlug.test_unique_identifier" />
-        <item itemvalue="Python tests.pytest for test_identifiers.TestSlug" />
       </list>
     </recent_temporary>
   </component>
@@ -833,14 +836,6 @@
       <option name="presentableId" value="Default" />
       <updated>1687980987309</updated>
     </task>
-    <task id="LOCAL-01175" summary="interpretation integrated with foundations">
-      <option name="closed" value="true" />
-      <created>1733644925706</created>
-      <option name="number" value="01175" />
-      <option name="presentableId" value="LOCAL-01175" />
-      <option name="project" value="LOCAL" />
-      <updated>1733644925706</updated>
-    </task>
     <task id="LOCAL-01176" summary="interpretation integrated with foundations">
       <option name="closed" value="true" />
       <created>1733645125055</created>
@@ -1225,7 +1220,15 @@
       <option name="project" value="LOCAL" />
       <updated>1734726097638</updated>
     </task>
-    <option name="localTasksCounter" value="1224" />
+    <task id="LOCAL-01224" summary="first theorem implementation">
+      <option name="closed" value="true" />
+      <created>1734726646132</created>
+      <option name="number" value="01224" />
+      <option name="presentableId" value="LOCAL-01224" />
+      <option name="project" value="LOCAL" />
+      <updated>1734726646132</updated>
+    </task>
+    <option name="localTasksCounter" value="1225" />
     <servers>
       <YouTrack url="https://punctilious.youtrack.cloud">
         <username>random</username>
@@ -1401,6 +1404,26 @@
           <line>15</line>
           <option name="timeStamp" value="330" />
         </line-breakpoint>
+        <line-breakpoint enabled="true" suspend="THREAD" type="python-line">
+          <url>file://$PROJECT_DIR$/tests/test_formula.py</url>
+          <line>17</line>
+          <option name="timeStamp" value="331" />
+        </line-breakpoint>
+        <line-breakpoint enabled="true" suspend="THREAD" type="python-line">
+          <url>file://$PROJECT_DIR$/src/punctilious/__init__.py</url>
+          <line>43</line>
+          <option name="timeStamp" value="333" />
+        </line-breakpoint>
+        <line-breakpoint enabled="true" suspend="THREAD" type="python-line">
+          <url>file://$PROJECT_DIR$/src/punctilious/_operators_1_representations.py</url>
+          <line>13</line>
+          <option name="timeStamp" value="334" />
+        </line-breakpoint>
+        <line-breakpoint enabled="true" suspend="THREAD" type="python-line">
+          <url>file://$PROJECT_DIR$/src/punctilious/_bundling.py</url>
+          <line>272</line>
+          <option name="timeStamp" value="337" />
+        </line-breakpoint>
       </breakpoints>
       <default-breakpoints>
         <breakpoint type="python-exception">
diff --git a/src/punctilious/__init__.py b/src/punctilious/__init__.py
index 1d5b6d21..2b7a8700 100644
--- a/src/punctilious/__init__.py
+++ b/src/punctilious/__init__.py
@@ -21,6 +21,7 @@
 import _latin_alphabet_uppercase_serif_italic
 # import _latin_alphabet_lowercase_serif_roman
 import _operators_1
+import _operators_1_representations
 
 # import _propositional_logic_1
 # import _tao_analysis_1_2006
@@ -34,7 +35,10 @@
 greek_alphabet_uppercase_serif_italic = _greek_alphabet_uppercase_serif_italic.GreekAlphabetUppercaseSerifItalic()
 latin_alphabet_lowercase_serif_italic = _latin_alphabet_lowercase_serif_italic.LatinAlphabetLowercaseSerifItalic()
 latin_alphabet_uppercase_serif_italic = _latin_alphabet_uppercase_serif_italic.LatinAlphabetUppercaseSerifItalic()
+
 operators_1 = _operators_1.Operators1()
+# TODO: Resume here to assure operators are enriched with representations.
+operators_1_representations = _operators_1_representations.Operators1Representations()
 
 # tao_analysis_1_2006 = _tao_analysis_1_2006.TaoAnalysis12006()
 pass
diff --git a/src/punctilious/__pycache__/__init__.cpython-312.pyc b/src/punctilious/__pycache__/__init__.cpython-312.pyc
index 07f974df428491336f06dfe3e72012c612bf2d86..dee4e677aff769c463ffcc0fddab05ff49d2c503 100644
GIT binary patch
delta 315
zcmbOrv{ab)G%qg~0}$}tOHJQ5kynz@X`?zPBS#8D3S*9Tl=fr;Mn!fVCWcg%tf<Kk
z7^T_ufNa&QI567)$X3fr0<(>PZ1t=(Fxv#k*2u~Nv(12P&8$2y+XBee$|?f0t$=Lp
ztTGUr(Ppy)lP(jZ?dCj|O^mWK@%aU*MTsT(MaA)k@kOZxMXAN9c_oP@nfZCeo8{SB
z87*!}`ookM2B9jrC5=b-<R$E}+|EGXG6He25aVPXjy&eu49b(MIBIkr@Tqp>T<250
o$ftUlPrZTrhFr)6Ijie(As6LBF3W{oV37X6#=yv0<OtLY0B*})yZ`_I

delta 192
zcmZ1~JVA)}G%qg~0}yasNKJQ|$ScVxu~D6qk&THVl`l(Uass0?yEc%mk`)1F>jK%T
zSutR?K9H@Jl>lZN0@><WDPXoSkgbuG0cM*5*_v57V757st(8>(Vl!H9&SKJKVzk;k
zgJl!r<_xwL#>pxivD^+ohcE(h@n43?Jsf$H|8mqw-QZL0$hpp^dXZ1{GM{<__Xjox
KM%E%bpeg_}7A@2O

diff --git a/src/punctilious/__pycache__/_formal_language.cpython-312.pyc b/src/punctilious/__pycache__/_formal_language.cpython-312.pyc
index 08ad1dd3a2cfb75ccc371871a1c2068ebea93037..b1cfce6229e89f55ce85b29650a1c5023beffa99 100644
GIT binary patch
delta 6566
zcmb7I3s}=vmd_0&fEbWxAR!PQ3Ly|)J_{-cLeUZBjSq~0L`V$;Z-PPwgsRi2ZLQYh
ztnIY6&e|PIXS>!-yS3|fYj?KO-RZQ&aksT`Y_+@X*tK?S>-MX<yPb3HpFnsxyPNOh
z$GzvC*S+_gbMO6Me^`EXzg+dUN;OM{zkQc%9V4eyiV)TYF(J)xVrQgxPsnR>W`MF;
zb<72aXDx++tT2`aUuCC*Gc%-ag!#g_t%uuOwr)2!p%NEE&~q&!&q44+RyuiCuft+8
zn_X^hHWw39B*L)lLS)Q=UHf*Ok4za2P2oDEwKLeB6$_EGV?)ERJ0jyIIID?;cf-w5
zQ?(mm+3cr{Mr8AaqYvh-k{zCllxeOMA`w)oWOe~^R28fkwyTz;<Pj%1=?m@Q&K?_g
z_e;{Glo!H3tBP19{I^QO^pG2onDn)rDb(Kt$&?W{sP(OqDax7fo0oVuN0=BZf#K*R
z7>P_`tGvI8d_k^SiJA-{Jc1Nf;h+u`J{_H=s76Ag_s!@%Y!b^VVwqQog8}R4i?nsS
zdb!Q)?zB0%t;@xKfDE1Rc<gIvuqo~`+u>alpUId9%<ARJb!4j+o>f<|e)vLtJ-UI^
z$r1Ep`_cs05(?NZ&?V~TH6#5tGvG!B-{-V<Pg^)zBTpjSNJwOZ;7NQ)xe*C`6PzlH
zg=9^cW;1oCTR<ulsN>*KO+xnl#Il8ejByJ=8^P2a&4E#kE_#@TtOOJh201T=?={-h
z%ZRd^pcKIuVm4cy?PfDiBT^>8_;&IY)GbF4t5_;UV+j!nTwa?tDadpm^|ui?2!auO
z3ahQHx5Fp5Te+F~A#SJHYH!EThLgz#_K^3(<W#1%6F-?83FcYU9$WG#eLg!3EA%cn
znWkVSIHNbQC*VKyt8pV1rY37W$m@w+$8B3}+}7Q0bD0pGR(p5HQE;Z#DTN;<cq`Qu
z_A^rZLj;(UzDOfha1eWwwsAKNf1Dbx{0m|pf>d4>Ho~}=mkC}@t6(E=J8g~nM>IT5
z`T^LSp21##J?U4H$T3dp_yY)rARa(~;S7z&jbu+upyy)?a|&L{xT&Jy5jjsM4g2Bc
zxw-5N{M+2@p(%S7h9$t^bh~iZb`a}!f{Fbrqb^zYDP1<V+r}qc;$(pzBA9V+#f}i{
z#Xr|cgzxssF2f`9PBA<5IAUQqO99Q9Y1s2*W+;vz!|UGTnHt7^3V)xqp8X0E3}5C+
zp^alAMn{5#RiDD{rkra>I_@{k(HFGM*3Wmrg6wpb2kWzw*xTM6*>hR)agu$O;O7V~
z3MoDQ#;PH_YSf0mN24PI&qJBBWQl?CC#g3z7oI_)M^oS5?Y6YL?d^5F4h)yA_CA}{
zY~gly|9NQ0X;vN;qHs^{+%QX@H1Gj@oYNTp)J!^$!5cYoV9pIyUZmlZ7%_3slM)Os
zas@n``;UvsC_hF(@n;D31&iRHOy>J=Y*HY)VSk=lL98Fcanrj=kC28(2_BoudI(vy
zL!Z+a5Qr2Hs;Q|lsQBb);fHBlM8`y8ix3g+kb{z|6QMERuTfg?C#XyCOZ;=SBJ7o2
zm{T%b4Vn3yFfn@^iEuQ34O<1*@~_7=;<%65Crzvgt``{CSD-GeU~6Ghp@H3i2MTYc
zO1ykBFUot;8>A8qr>c_Jf5K};$!byaT5!;ym{csjE?UWM!s7V{{1x?``OQhMARi`@
zq~A7KKa?&ouv>870$s@&Wcw3!l-A1=HRg&74_-Q=&F1e&$|^S9m{1eKrEmwdt0uer
zO@t{XpIn%=^1o>8ErS2WY!32x<^-4(=lva$v_j~jU$Vc0-z-XIr{UV7a`r!vxA^IF
ziWHph0pdAGFhjuHSRBU`pj?vCdYU-Q2!`;f!O}rP6QyJ#V&0>HyBCgCG)!>a`{N~T
zOf8PHSFt~NAr2MKO$ld6jm4p>vhRjvzm3Xxy!LSVLCcYO=b|!h@n)zf-jXr(<W~7l
zZs#^^@efcs%==HpL2?}haScC)DCJrZ56CjOy3~{@!uPL{!556>#>L;qrXiRol1L!$
z(q-8S9};7{j%EMAB509nMwI*#@tuZ}(hX}bQj;`EIzl8J5(7~`Cb&#+h2RqeR|o>t
zF8oQ^^g0a@WOzR<l`~f5y;^pFu}jcbK9_w8PnYjsKpyf00!n4{m5L=lf#3_KBFZzc
z>92~zlG>}Vr9#V=cn2!nO#K=0PhWiqsWhgnp1l0p{9~5K%br<zbmcj1{w;n6YAZ9?
zI@nQ}hxz>T%4^YQ$(9_!KY=DVUX_h${BBiBbTb)hK|m*^6CA#;Dq}TJc5gsFCc+=?
zZAcPMiO`!NLCn=gRu2zXXKO8_vW;MBDbIt^>I7B?pI49Hp5B>Hx@!~ocO)=_-aD(Z
zvzu_n{1!3XCb+wS99X+rt!yOrJ6^}?pRtUuPyml{sw4bM0-A&?2tltOTlgj@Sd+&r
zU|F*^^lco#mG~S^ugR!-N9u^Z6LbF*2||msbzA%kdL8K=b-A;<+t%)Oa+j&Y<~DET
z&MtGW-P+<!uX%$lB+WHg`KaRi!pE|q7svV6r1duhfd)lTehQj(8SEM?U#DXo(7Ns=
z=|nk4%rg{-+*-A!k0$?HV$cyRMHpd~1||OtHrE>G(iD8bZBD0y7i07GoN=%91Ns_g
zw+%Tj!C%#;42j8xkTzoEq1c*!G>K|+mBwc(IkYbP8o?og6$Ir7ftS%LA`&b_1Fj9&
zzzfTV!3OUS>P|3><D2!lYzWdCo{tt=8R82y_gLDuSvqXo2Ol+9*=JDR*vodqtBrpi
zFM?=#)NOB4vxi_`leth$^C3mkVpG)YsPWbCKhpMtrg@Wc4vCqdr!^MRThiG<c&T|!
zvW8Y<?5-C}&IjgLETpt#;vKlEr9M7NNTbn!rwraV%GS?ikHh;dYm#*Vn&PHvk{F+Y
zj`j8N5i@CuhSBx$>=^uhecwXz!xx07oZqopG8^bvDsp&K6Z1sgXW=Is%Ggz?ZPvoq
z8|K5=lH`m*xjPI+#czQ90)^-|$lT#lOD3}h!AFG&VFU7kAZzeb@<Axjso|TNxX9qY
zRQUPpWd<b-Z@iMzKBhnjQ}z|fWb7MygRGV@*%8@*tQ8NGK{mkdV-VG@8TvDJgfZD8
z@xiiw*$Y8C8J~x|ynvtqVbYYEkl@LhG$sEV*i_<hwp$#oWu}r2Teq#Rhc7#YuDIe+
zL^{2)s!ta@7j;rQqCKfQmsNdBr1tJ1O%lT;G?Kl=2zWWAvjLNX_J^y9E=mF|Cns$@
zhQ<|Ar6&;~>`Solj@~Z(CLpdJ;_HCLZFk}kNcvm~1U>zvGhhjJJ#jb_cx6+x@&tM6
zhW9pUOS49@p3{sL)s5=v&qp_m&ThDnsCy>iiG(LL4~G3N#`xU5=VKN;82Y>PES$pG
z(0|FQKA&Da8mhmLW*l8odoH#PRIRPbNb(gwBdm{wy{#JdviF(ROjZ*^REirhwUJ<H
zUX!Ua+;qv)fOHvq1-%Nf<}d&BwKsW7JbM!sY$?ER4;@?PDMfWL18gx)c_s1L<dmo@
z6StT$v@3c06KaXwh$g;N0$M*VTz6CJ?o}s}h6x5x%=H>Ju<F24%Ms;lMFqQ&<n>uv
z<ngq_HIlyZ1>#w7uQi|jEA(4a^FJgt;;=VUD}g|q_zLM}AwnczDdE@FB=(N?_tu?3
zs&S2mP&{w8b*8fq;Xr4OQli5fod#xvYn`cz`RL*mZ<PHP@<m11#M6u@KBc9n$JT8X
zwG-nmk!;hrZ&v&GLB#)-s7Cl^TZUpWj@|JlIU*Rl2*$26%3>s7IDFBS&7wfveQe%6
zNWf1t;=B{b&uNmTI1RiL!KH2^i-Ry{Z_X<;G_Bksas2W-e&yD|^UnJG83jb;jU2lz
z`|GYAYZkABW4#sdhwX~IsYWi7kr=;>#pUYl>Je#`PI52c)xILWRLl<<UD%L~W!NY1
zeUFx9f_8gzR>@2ZG-uCjzh;-Cx5EfO-QHNZd?w~A#O!}xm|SiP-t92g^T-K$R8|x&
zok@(AbV6(gK4UFy_^K`Pi;1_W_eH*ug$L{dM7d+sAED?B*$AcXShmR9=#FCx=_zry
zM<*E`Uuw+ReoL35ip*xyQs+t`flPr*MlMXO2whoLk;H0<+7UA~We+2-FWgK_W_!2Q
z*2l|f0n(5h@Kvgex|az)ArN6kODV<LMCyvk&!+($ftKK+A5`ds%X@rB9b@6}?ao}h
zS7!9Jv7PYaJ`-z%zv&wccu(H-U3a2CFMB;r=PlBEhQLD5Mldz%@(y{Dlr6;l|9d>%
z_L%ZE{a=lUbcl!VJ@H{1g(>s|-dLxF$9~w&Dh~}LCDTpGpZ0WT_b~^4pX=|zFCq^9
z5Zp7+z&68yfhUJVB%Gs}Jccmo%%sxjiC@+0a@)7s+odDPG!_t@WOn=tiO1k3H0TL;
z*j;Y_C2{uDXD4mEw9T2+5(T@Mrs4~4cVK>Y+1#B@E8k46-@Po?(=fqW`1ipIc|Cpv
zcO-aM>>6aO7tRi4E~er-@$Hj$j9Xnnt*Lj*Hd066fRtf9Yx9;4moXI;A)J(`&9U(4
z{ppF~PCl!h+c1CW$}VJ(B^7>sf2N`n6%50-_czpwql%7fevhO>5a{xX%%V*X=&`mZ
z(%swRux-S*e~#W{GPU}7o|xd_7vbpc<N_fojwB`8!b=7fb58_rDSi<(t-(T%|3z`<
z(uEwp*qxPBM6;W?ppUsB&OsyO@6pbo^zns?T<qD_!4JU3J<HU&DCJX_d);=2_|hvL
zB)kA#+>=mLjRNA6y7)TG?bJO&KrV}q1LEP%ebjxOpbGBnF@&4QlW6MOA#blPh0Z5V
z=Z%!DVpqjpY$aMJY}>2D{oJ>Ad4!&ovj=TAW%U1MCA`0Pd;BWA^|OPsKbVtuZcg4!
Nndsiw0Ifed_(#P8CKUhx

delta 6214
zcmb7I2~?9;7Ul&K)`+qsNLa#7SOSO@H&hDl1!NIWiy^=-MuFf<VkLsOwjCX-^=h?t
zYPF|})NVGNIbC#)PCK1;y17iJPU=*wbF{YAYPCJpwrA$vm#_uw%;X$C-n;MK`?kBi
z|I4kiD_dmB_m#>3FZ}86k(z1_E9Jhd8A5%lm6C6x??$gfH00&wXz_hd#=0Rdpq$-+
z%>ntK&-91m{<a*Rj>9|)!NL%<Ttod#1bgrdGjFjq8}$Z*#mWtaNi>oJ`&Wd+5v@O*
z3Ji<zM^g7taXoAeY+zaNL{&H_f*#GuKsIL}m)Z<VTq?Pqba~9`^hXXZS)^7g{52?s
z^}ywzA~qTH$_cUA#80bo`n7R$o5Zc{E*+$rPlWrGxvU!AP)5oM8GNEl)m~G0DMnnE
zF?k`o;f>9kqRFF)Js$y%O;I@#Muan#4=gMS<_AZyxegxuf=oFBhjqSu1hLM-!Du!U
z=7hw{=OCfVu_9yx8^ki#%@P}?l@}w635vpwqE=aWPtbkXw~(SA*LuOcG4H}3RF!Ns
z1gfVh%8<&-VV-&>v%?<s74>}Ll_6-|mr#vudj_nF4272>Mzbz>FCsd*28p+suA4c1
zmYGeho@dDEpzNdFLJGD9l1Fd$zZZ$T76CFM%A&b}y2DSGj*<~DH8M19Juw*xXi8pB
z&_LjEYdjM=BBMjr(U3$yN34_a$#5uA6F8M9(+CRSWTaZxcaOY~h(!p(?xwlyj&4R=
zkJT|s6XmU6PW@(r76Kmxr@T?Bw>3Fsrbb>zeP65D&}eF~@+?>sqhnhfn_}XadKvMj
zAawiiRBF4=`)F)7+XYu+EefGF3!1cgwih1J&eht9TgDUcpHsfl*ld#qUB_x*aiiHj
z(8QH1#A>p@5~ufnl9YEKz>)a8apKh0U~iD<1|-<S=5c9>#HH2-$)ayIwl>*}P0}+Y
zy%v3{02XWg&}EGAMeI3vCcapGKMf60^#BAUB(fJFE8%?9YT_W>`~d`=Hy=QNjKs)D
z8<Opz1Lt+0)hke!cvDHk?hW&Yz?hWDj=;90w5|b{h8#|R^#5kF)nYJkvS-c-;tA+{
z`P~FGvr}P_tX7HlFNxC(90-QJZgEKjoAA%_62gxgy?S7L@?o|Nva`eBm{tznDe>4#
zPDzySL55?F(v(QX9)o463)o-a?bNGTebz0EwA)+E>Xe(TQj3K*q70gVxK!`uQakU0
z^SXo>;U?;e_ExL0!D?zKw>9IX;07@O84Mpd;?t5?(NieOpC)(~!9vET#ovGksT!g{
z1j-X6^Bln;IFL~^%F|=^Lr;1v``eC;YSljC@*IB>S~8;98Q79BU-7tLfZB|t5vEpy
zk(;dTXNmN(h{O8K4=eXm_W%KzqRz+ZBfMcSnQz9iK{hFD!*c^}^XP$6{YOz-N#{0#
z9iGAf6S6d2U(wi30^#%CB_$;~B_C`(d>4%iYw7oWVKVz^fR^l9e7~uTB^qgTo%CL6
z5xk9mmRf|3US~#5UOO93XWfggo1MLc&4u0BSHi1s%*jlHwpk62=IGdW@K#O{n+J!(
z)et)-gk6U*V{W<mxd;EW+*I}hm~vy(BJeFhr8@bb7_u*SI{O~}mAg&hGCgP?TOIWp
z@}V=i)-X77RKqu8bqjAJ!;LV6FDV<GiWz$_ZqJG*RzAM+WX#xG{0I*GN{|)yI;wK1
zWaenqeU^HQq$FVqCuWxpSdN;O!{0&h*xk%=sndU<v3Cjn%dDBmV;?zSR$<;hlcWT%
zj(dw8g;jYm>~+|kSIGVipXKeFKt_Ydu$_1wCKzfvNFAUQO|IS8(yV}2#wXUkP7-wp
zx<F4mT1rF0jzrYyH>MLbaOW5^mxc+hI&vq}Gqp&5Z(!f!V4k0t6dQykkfr~MMkVek
z+nKQ4xI6jesKi^m2Chx4!&;zhQjGizDhO~`Cwa@F_hYkUfCGASqPPjLGhd$~EZBiW
zrw>LT3;z_GIv+lo*!B~+ycaI#r^!FVewZU-%AeQ>I*gKT1^=8_UWYHIE{r-$P15Aj
z;p@`jW*B7))n33ci!TC2D*U-z=om>5Bsm_QCSz=tV`srOrXV?I1WYN7@Yl(l-Zspr
z7hz7}Ry8e<M-Y%R<5DSn@`G@-Fq&P4pdt;M=twQHGW8{*4|AA~>FMkqI5#~SGs-X1
z6ImH-U8{lo8DZ$D<ukqxIgWB3=U+NA4IR`zGd84#lrBKPiCw814$UlJrEq0tpT{N5
zS(b=qCgvALGt|^kfjt@4%?^d%M})FU$eW#}sVCJ91fDTB8#-o3unO2UdvmWFCCyo`
zzD2x4b;GlB(q>kpwQ%xk{u9BSbqhBNDKxjXN)1*sC-)VOR7DDYc0|lQz!JYh6_~*(
zeDH4xXloX41g&<h>lUlwpZ8?3dQcXZ`h9={csyT0V{u~EN3M>zByl1aks!3Vl2%=>
z9b84aT@BYt!@W(73mhL8A7|r8Qwat*3g*s0snufRlEFr{aD%jbNHA~$VQd%Sozg`1
z4SZc1&6a}yyjP3K@A)Z$;T?Y9_T4VuPTN0CA|lvN!B#h$p;Pcn5KxvLM4NE>)SJ!C
zSW6a^MX=9dVOeaK*qa}TP9{-*Yz<91B3N9e@!=u{9RvS{00;^RiVy}?qO*udkcSgk
z7GeWSlYjW=96y#l%g~<pS7fra@KMEcA>!tIoqmQkW5aSR>G)@`xw4U6f^RErYy(L1
zpHvAe8ftOTRcf{c?y53qB4|IPXoy{A!b?>u_7J>Nb+2j^ae1l<hxe;f*uzj)UCcCa
zq9zVLu1>%b_eOPvDr7hT6<n!FVvoZ5n&OxkWYD=vUarFSAfI$GJ`SM^Dl&tI(-ewC
z`=~y<*1Hej0KkG(<HB*!>5T<dul{n}-XQ()B(CfiN8YEQU||7!3gT)suy5g5t<@KW
z#IJ)LLU#IfvJS5f*695^S*HvNg4E0(4wQrj%bxe?<*2}f4Q-3g7va<yD8a`g=os&z
ze{!)=t|q#O94czjTG0K33lX>A748QcY7-R)aoAD~FVt!hbltjxniFFyPDEFp4w-)<
zX#UyI^n<fbhu-y|-<kO2muH;}%Ll*3wW^UQGUT$tVD;h{_Nrs=;uKaAMjUiZVny9P
zu4p!xdWX7gz@fWKw$~uI?rN^^!fmwv;k|IM9Od1&A={XPkL-G5vO+ji9Xw=A_jm$u
zC9P7pQh(mPo2C)Ve}r0OKAbE<oF$(?G_jZd!fsec3noT_PL#DA#RfVWjIZCV2#^=C
zYY~o5>T6^w3Tq`UeSIg!Q=m}FW`75(6j$sdH6m}-QL8_B$z3^8#Kpm9Ymp--=E&aY
z7*2u&A2_~{?(<gmO{DX~K)b}0z?`tzl%a6Z;fP7cGT@>qPM(V^?{NezJ0!~+gH5y}
zqBs@Cwl=A?QA80myV0bc#+?BTeW`%INz@Fu+MFn-NORkvZW+PYSx9buQ!x<<_^Q3s
zn#M*#h<Sg=1SH^>31OxENuOPSGv;&_20m>z)oY~BGe%^?wzhB<1y8qC<P6IoGE}g;
z(CbZ4u`*OOoxy<>g-~aa<Ky%i4~q=#<uY0<ww5-l$=qs*C(akK3@uVk6>G*tSg_&c
zu0Jlo?G+l93@Tm?=T^!SJl98lXb<XDY-zSNrNJ&fUo~YoWnb*Ds1$mdk={T>V<r#B
z)I%D3>t+2)d^Z{E@rgI4S1g=9fH_{aRJp1kEU&P7%DI42{2amX&!xT-ay#8P$2=RJ
z>#unotXmo8JA<axiIePdT`JBo@POzt`wxJ!?`#s8LtCTds8itEik?>?o@Mba9CZeY
zgl#ajHcG4b-6Rx`WbrLXd^B^t(a#fYve=^td|yz%hrmW4a-py)j|Z42IthXtd+)1a
zEC{Zz%ES~H+g{IB!TNSR7FUPcJA2Ef-p9}|WfSVKr|np+hCkXv(`smk@6yai2<izM
z2t2JL8-B7!DXNM6|9a|tzgnNR=zpCg6AIRZDcyzHLf2fa9lynL|EG>9#a(o!vmm-t
zB<#*gRtuXuA9G#&DO&T;aEtmhT}`B@uf)N0v<Ma11Dj12tF}X1Vs4dmLBrjs>;6(m
zb6>!91~xRK&$UR_rRGLnODno_`BF~9<vxfdaBfYJteinkc7!9ptCKM+yty`IyvH+L
zR7~+SVIhHMIb<Y#1j`|Eoz{n1&?8ehD%YhlC505+n+UPt@SF7sqeU?p(7+|56^lu%
zB}o8T;^EKhQ{+w9>4NL)E7L^Ap)kxRxpW8um0idz+VpaxHkdc4Lj+~-fYGzCXG2V&
zAX5tAzHoelCXj+Gca?~6X+vt%fIcy~)l<snX^_5AGm@;{=|^s7Xj|UIw?oy&DfJmR
z?vxvBR#UV1@F*%|o=s9wq$ZR=tX)(PbEsQPkWa9TU=IPUS3E%Z8EVl3PrSv@o_^S<
z3(O>iAw*mXX`7<+DRpp41^g@##YKwKmxxA3#|Qi8ZNJGa=0^O0HHBMY<EE)2;#eVj
nP`c?w|8LHMlbcqkW-&I8Z4df%WY)=%SvS2z_gWRy+`s)lfmyuM

diff --git a/src/punctilious/__pycache__/_operators_1_representations.cpython-312.pyc b/src/punctilious/__pycache__/_operators_1_representations.cpython-312.pyc
new file mode 100644
index 0000000000000000000000000000000000000000..05a5b689a23fa0951d0047fba620f4925521d49f
GIT binary patch
literal 1647
zcmaJ>OK2NM7@pZ(J#4L?&8xvOYsb(mrE*MjaN1z{NSl&_5>mINf--D&#`4OmU3GT1
zu7whGFjRsTpGpp;kZW-dJsR3WkA+?&Vz9DKq0mz=#o&a7ochm7>xYQ@3;mCI{PRD)
ze}5ku8bm<<{K1MJ%Lx4?jF=KVWj_zfeMAw(HY#)_F5t+P3Q{EHf-Iryh)U~-%1kb$
zV<(4l6Z{J*B-XI5{4LbHDR@j$Puaf=%2)6rL*f;90T*N{6%_a<8fXbqc|Bc7Mw$Xz
zs)4@5h4hC=PlPYutT1l)F8AhcvkGS(b9}?MT*s@v`L<RG9MiXK%MCoOVwfvNk!kLd
zw#sb#wH3!*b+oeKFEe14Y1o<@`^x1_97hQ<34f8y{-40U#rIJSl|bvKQk>9{jru1P
z-^EnAEBQ*i+>~qRn<0d1xF-E5Z}x6sM3oo&B?qzi1F?@%)W+EA%FUix0^j{a6aGlN
zRzsUTkKZAh{9cYNjMm_%r}EWP)bNcQ?<?r&L4C+vZp|p$x)drEC}5a|!n*-C*<$sT
z6C0w<X`ba2ZRWd<cCk9FYnEgAmSI~}Mss>P93aHB4bLMaJVOqSk|U?Wgcm@M!Ze9i
z;b4LU(BN>e$b4eE#UgAbD7zCBL&>7L5-J|Em$+ykPYEV)>WNNhnpS`Q+3ZIi<K8Sa
zzOX2DIrC?4t(nUPFW=&BiJ87PdjvwW9ygEK<VZnCU$t_THJ*WYs?#SHBo}9)ilCN(
zJ*%TmW@KZbxv-PD)XrRLW#&6C>5XfhvwGu$$Ld(~dRv`%F!R&7mO8PmzR|fn-?+As
zZ|1kvIoRD%Ct&-bI=Q3HwAGo;_?2I#w-$fCxOM*5h1Tfpr!pQ|#CsW}UfGAY&@qS$
zcng5+Q(z}UynfC<0Qn)H0nTvu5LPurz)P223~88MoQL)d9`>0FM03%aFhz*NRtbRv
zvT1vvV(_9DCRbL4Jl;Y+CT^VuR-O94LP!3@G4EAiQJsfHom-iy$Jy!a3s<+ycJ{_^
zuRqM*Y`pt*zB4kuaj$u=mCo{UIIj-~$T>!t0ptb=DZ4bVg{~6vd0^PR9f+H{CL#P3
z+~HzYBM3y{g+o1boAB|0)NnTsF^F$<lMty#`3s<WQ^20Bqesenow3vP8=dS_OF92U
zNhKEXzvFUZat{HEf{X6xNiI+nj`ZO$93@LGFB>+o4W}5u2N1^WPT)`*Mll@z6sGun
z%VzJ06&88=0d>8K!ah%5?WVfGFMuh6^@Oq~V~lr^x{J>2qO-eb^ht6IPd*sf(dOIQ
K{8I!*<m5l~lAI_2

literal 0
HcmV?d00001

diff --git a/src/punctilious/_formal_language.py b/src/punctilious/_formal_language.py
index ac0eb7fd..6bd5ab45 100644
--- a/src/punctilious/_formal_language.py
+++ b/src/punctilious/_formal_language.py
@@ -57,7 +57,7 @@ def __repr__(self):
         return self.connector.__str__() + self.arguments.__str__()
 
     def __str__(self):
-        return self.connector.__str__() + self.arguments.__str__()
+        return self.represent()
 
     @property
     def arguments(self) -> FormulaArguments:
@@ -67,7 +67,6 @@ def arguments(self) -> FormulaArguments:
     def connector(self) -> Connector:
         return self[0]
 
-    @property
     def represent(self):
         return self.connector.rep_formula(argument=self.arguments)
 
@@ -428,9 +427,11 @@ def rep_formula(self, argument: FormulaArguments | None = None):
          - a1, a2, ..., an are the formula arguments.
         """
         if self.formula_representation is None:
-            raise ValueError(f'Connector {self.slug} has no formula representation.')
+            raise ValueError(f'Connector {self.uid} has no formula representation.')
+        connector: str = self.rep()
         argument = ensure_formula_arguments(argument)
-        variables = {'connector': self, 'argument': argument}
+        argument_representations = tuple(a.represent() for a in argument)
+        variables = {'connector': connector, 'argument': argument_representations}
         return self.formula_representation.rep(variables=variables)
 
     @property
diff --git a/src/punctilious/_operators_1_representations.py b/src/punctilious/_operators_1_representations.py
new file mode 100644
index 00000000..1837221e
--- /dev/null
+++ b/src/punctilious/_operators_1_representations.py
@@ -0,0 +1,24 @@
+import _util
+import _representation
+import _formal_language
+import _bundling
+
+
+class Operators1Representations(_bundling.YamlFileBundle):
+    """A punctilious package of well-known mathematical operators."""
+    _singleton = None
+    _singleton_initialized = None
+
+    def __init__(self):
+        if self.__class__._singleton_initialized is None:
+            path = 'data.representations'
+            resource = 'operators_1.yaml'
+            super().__init__(path=path, resource=resource)
+            self.__class__._singleton_initialized = True
+            _util.get_logger().debug(
+                f'Operators1Representations 1 singleton ({id(self)}) initialized.')
+
+    def __new__(cls, *args, **kwargs):
+        if cls._singleton is None:
+            cls._singleton = super(Operators1Representations, cls).__new__(cls)
+        return cls._singleton
diff --git a/tests/__pycache__/test_formula.cpython-312-pytest-8.3.2.pyc b/tests/__pycache__/test_formula.cpython-312-pytest-8.3.2.pyc
index 19d50fa25cf63d88f02f1332abeac2927def5b36..cf4e12b5c2142a04005528fbfd1ac697e7ff71da 100644
GIT binary patch
literal 4348
zcmds4&2QX96rb@ryWX$3Nm@un5eu|sEwxG0mQvaVQB^=sRa(JiFP6LGO?L6x?#yi4
zUAz^79#V1OSPmR=Mfp>>P~{M5DCz-(#0?PyQct|GJzh(#2#4lCEPLL^yf^da&2OwX
z-`DFE1kdbG?rOb&(9cp(kDf9+H-LGF2qM@+EgVy=UubI>_4U>iPI`*1V%$?|89+6!
z+^@7M{c5X<k%m4(q;MY*eN#)uY}JO?n)*!&*DOuE+@`L>UEAS7zuUIkf$zI*9#CPX
z9i4&S=H0+=C+<m$Q(<Qon1{%XV{2&y-$$*&P_qi6`mxLShXL&mJg2S9rB?|)ST5T6
zwJcqE)<^JW%8zkQt7Td(r!8dK0#6r)P*0^z&XYd9qT(iWtncDuOl%c5p5ij<`02$P
zr=)~Nljw`QuKJ>47H5gzu@RLb<I^TW<8oAHe{oaU^$sX*LWv%gJD5yKpN_Vfu8kD=
zoU-X1RNRDartEFR4(G;yX=0%`UQ?Wkk>)+-Rqup8>)~TkB&Gix(V>5jXp$|Ow|q_{
z6HADolpFPVwk5T`UF-~HM~rXv5#VNAA!SmDDqS2)RsM>~MQ)@cN;jcVRgI+R7noG<
z;&BPS^4Qn~NqU4M4R$=m^|+S9Q%#LHE|J<k#Z&!-;VH}3u6W8U0Z;YZ?(PRXO+~na
zGc?t6XsYMXG`&yJWWF#oW!c&lO_?R2$=qjX(xZA*%l)0Eb9kE0;pxCW#na3S!&8>6
zUGbDz0-k36Z+IG3t=Z94Sq?UWPJ_B3b(!mPM;4WhJ6*okfEtl^L(gq6PP_i<Nhm@Y
zcYF@UK5?l_*+Qj}J_4@@d|luh7JjNNFI#wY>R2-zp0QZvvy^EpHzaq;VogbxEM`^4
zjpamp&SIhf^9Vg$>n>TkD1fDGmSl5AHs?mu4r4Cm@i6D5LpVHtZB%xA(p)*wxNgPH
zr$>e#@a9U>O5`)6Bho<WPBdckrUedQlGvQJOe)Jrp@joc4MLYf-A$RjB&x9JURr7k
z!*^HX{D@LoLQ`3+iOT!okV7JEhl&}y?RcIo^Vtsip+j9!gKqogpbOdbnJ9VzSTHef
zv$bI0k=WE;^@5v@XZudy6=j<_9msD;#q{NP#jqtGPzu%moZW%i-Ql)-H}o7o4#qNt
z&Rnk}a47ICfgy*`MWBT>Q(5zhs*E5>-s!yXc3wD}2+0KR<b`*stZk_*Yw00qm@JUh
z&ZqS0mBmkBbJ!wrZg&X@sLK~uhV3<n_E%`ogUbtB4C6$4-C)2LWxkR&UJ_hK7Q&&Z
z#c7lwfMPT+(V1p?A>Sh}E9?y@#6CxV8mNAB<H}a8xsD&#-h7rbXTHAo;NG@rJu<Cz
z{jm~{KQfQ6>%V|FdNBIt^{>Y3`V-@|?Y)21lt(vaHZE_Jw#=rS`K|4}fAcfzTjnu2
z@A2)ue<$-E+~6CvE%T(D`NH<zzdslkb^t1Hqt=CC$EVA-Ma8!J0U3BM@HN}MHE=w6
z?rfVbg6(&Ro&rJ_WFv2>aU&TfVRs+xXa}b*CN@%Q)rFxBH+>Zp;;^0k4i=IV2Zwio
zx_4-o!_m%EqLk{WyuFBG;v%ZKGeYI<P|U@^XK;{QVtd`2)S<)pXGP`JGl}r5<g%!r
s8kdswy+<!WhrGQrc^&$_fH8g|m+)o%M>PKgUH!Xw2w(gIK@)rb1821l+W-In

literal 4337
zcmds4&2QX96!+NPU9a~mX__{r721jxt!b0=i&EOAqC!9~RA~hq_A+vJyp4m`c4ubW
z?&6gY^iafsV|(C`E6P8?olB)0A`O*tfD1Q75J)}o#$J03tq6xkLb1H_-n@D5&6_vB
z@xJ+?Rx=fNo~obR{!mktpJXR}^f9x26PQN|Q3&#sHj1g*(>f|rdV0Hnl96J&7>|_N
z22j;2_sq80tF$XfQI!uAqCHTEzOE)d+tmTG3ctwCbxRcoJJhkcgKZx4+z##pzVCE+
zKt*Fb(Czyj?goA*F;7}F?riS^=8@vWv9(o#9w=>Xpjw)!eB?0xen5MD&+eq^(y9bM
zSgx}DeOa3FY>c4wF+V~%shUaEoK(xC8kgSU2Ns!n&~ws4CN1Qo#Y|e{h1A1pG36#S
zn#5J&5OeZGrOe(SrBOLDqVlILMH!iq$^PJ#RByGKauZ67$m}8#+jQ0S@n#c~H&UI|
zsg#@0^)Y)_VTW@5<qrJg;YKP*W2AYD{psk0K5yY8Vv@>#j%fDZBbsE3<~3gs$wU((
zsN}r9NY_Z$w}W0e)g#q!^&#x>s6uL_9#vcv_p1D0nv0yLxl}fxQ8o3H(k~Ec+(#n=
ze&(pW1Ck06id5L~@lhPra(Jqx9!Cb5+M{@yerb5hvb7_gGEKnKbZ&R|0-p2;by0?<
zdJawX9Gdp+Q8dlGG&E(|+7V5eCZK6%kD;j$)uUSO>(t2Msgc9e{ymDP*_Vc=EL%I`
zDboZz?ex$1zx%fvG^_)|YqHR52HhrgLh3Nb=e8^toA+G4(uC@dyP@Ya8K<s)dmhS5
z#%-U2vQHf9P_|$;$B#hE0^JbkrqKL=3(fY)aLQ%#_IyZ#Fkr59JJgn2mW7_FOG_3S
zo;uzN2WKs2el}*BOHIk0vRF&f(-yPLQFAGgp0}9LAP}L4EADAa7aC~F=Co|i%I5sA
zZZqak9=o|94Z^{N>%$rZ(}I~#HgCZ6v4b;11HzQTq<?mJL@K4Slg+=GBs%A;8kN;5
zl_j50!@ekuOJrJ?67!vKz#*O3reYd*Y|q0otDT@1+SCzM7{<5yF67i_qUZ&n!NeS9
zD?#5Qu`0gp1-EPu`*zO}Wz6g@WI3dwel=beWbi#op}L>JU8v1%j-C6VXZ!J%SyMu1
zj@K0^6zGmXkSI^?gboTsz*b-z=eB~%YE@KZOi9kp<U4QXJLi&4GUZ$O&f9cW=Hq~D
zWDUk-;hQ2NrO)17{1`TcEfV{#OGrQ+zPLQ-tk|@-OoLUpudu~1zNUC?&}WM>g-IK)
z5^f+1;XqX5%*q%*Fr1UH9VdSwKO*lZ>=;yNpDVu`O6}O%yBpQkL-e%z+VfoF)yMsf
z#_@;x(+PL@jVC9THV$8TV$A*AnEqz?)$sAruSXB{E#v6s?!W1j$JVCTuCA3f8Z9~V
ziOt=A^E2ylQnrlOH+TP?%)5V$uT?i1^K!)(H+TPiVqDw?u)sB17Y2@x9LB=LxEGMV
z=Kx>D_)g#U<YB~^E`siN3OxmcF33h+HseMzOakwLvaQY*E+slrYSo01o_Kl$1mX}*
zz7Y$_p@S2>K%INk<#66JktmI2^c87SOiV;2cS@+d-iVnP`V5YeL$K%GqBb2&K2b@8
x=Rk21^)usgvc4<yG7QKIH<N+=sv(57<PyHD{iw`sDcAli9zd6VQ=o~h{{ry_87}|;

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 9961a3f6f3ee58206d61db64b6a5dfd10855f75a..22ed9d60f97bdbecb2843f89c129d1cce8e9d642 100644
GIT binary patch
delta 19
ZcmZqRYvAKL&CAQh00fWkY~=dJ1^_R_1&jay

delta 19
ZcmZqRYvAKL&CAQh00h04HgbJq0{|_K1uOsn

diff --git a/tests/test_formula.py b/tests/test_formula.py
index ef470236..df6d9603 100644
--- a/tests/test_formula.py
+++ b/tests/test_formula.py
@@ -11,15 +11,14 @@ def test_formula(self):
         p = create_atomic_connector('P')
         q = create_atomic_connector('Q')
         r = create_atomic_connector('R')
-        lnot = create_function('not')
-        land = create_function('and')
-        is_a_proposition = create_function('is-a-proposition')
+        land = pu.operators_1.conjunction
+        lnot = pu.operators_1.negation
 
         phi1 = pu.Formula(p)
-        assert str(phi1) == 'P()'
+        assert str(phi1) == 'P'
 
         phi2 = pu.Formula(land, (p, q,))
-        assert str(phi2) == 'and(P(), Q())'
+        assert str(phi2) == 'and(P, Q)'
 
         phi3 = pu.Formula(lnot, (p,))
         assert str(phi3) == 'not(P())'