fixed formula (thx Olivier)

maelvls · maelvls · commit f8e75fff4d43 · 2018-02-15T08:22:08.000+01:00
diff --git a/index.html b/index.html
@@ -246,7 +246,7 @@
 <pre class="para-block pre-fenced pre-fenced3 language-touist lang-touist touist colorized" data-line="41" data-line-first="42" style="display:block"><code data-line="42">    <span style="color:blue">bigand</span> <span style="color:purple">$i</span> <span style="color:blue">in</span> [<span class="constant" style="color:purple">1</span>..<span class="constant" style="color:purple">9</span>]:
       <span style="color:blue">bigor</span> <span style="color:purple">$j</span> <span style="color:blue">in</span> [<span class="constant" style="color:purple">1</span>..<span class="constant" style="color:purple">9</span>]:
         <span style="color:blue">bigand</span> <span style="color:purple">$n</span>,<span style="color:purple">$m</span> <span style="color:blue">in</span> [<span class="constant" style="color:purple">1</span>..<span class="constant" style="color:purple">9</span>],[<span class="constant" style="color:purple">1</span>..<span class="constant" style="color:purple">9</span>] <span style="color:blue">when</span> <span style="color:purple">$m</span> != <span style="color:purple">$n</span>:
-          p(<span style="color:purple">$i</span>,<span style="color:purple">$j</span>,<span style="color:purple">$n</span>) =&gt; not p(i,j,m)
+          p(<span style="color:purple">$i</span>,<span style="color:purple">$j</span>,<span style="color:purple">$n</span>) =&gt; not p(<span style="color:purple">$i</span>,<span style="color:purple">$j</span>,<span style="color:purple">$m</span>)
         <span style="color:blue">end</span>
       <span style="color:blue">end</span>
     <span style="color:blue">end</span></code></pre>
@@ -301,15 +301,8 @@
 <p class="p text-muted noindent" data-line="91;footer.mdk:31"><span data-line="91;footer.mdk:31"></span><a href="https://github.com/touist/touist" data-linkid="touist">TouIST</a><span data-line="91;footer.mdk:31"></span> | Design:<span data-line="91;footer.mdk:31"></span>&nbsp;<a href="https://github.com/erim32">Erim</a><span data-line="91;footer.mdk:31"></span>,<span data-line="91;footer.mdk:31"></span>&nbsp;<a href="https://github.com/maelvalais">Maël Valais</a></p></div></div><span data-line=""></span></div>
 <svg id='math-svg-paths' style='display:none' version='1.1' viewBox='0 0 0 0' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink'>
 <defs>
-<path d='M3.298 2.391C3.298 2.361 3.298 2.341 3.128 2.172C1.883 0.917 1.564 -0.966 1.564 -2.491C1.564 -4.224 1.943 -5.958 3.168 -7.203C3.298 -7.323 3.298 -7.342 3.298 -7.372C3.298 -7.442 3.258 -7.472 3.198 -7.472C3.098 -7.472 2.202 -6.795 1.614 -5.529C1.106 -4.433 0.986 -3.328 0.986 -2.491C0.986 -1.714 1.096 -0.508 1.644 0.618C2.242 1.843 3.098 2.491 3.198 2.491C3.258 2.491 3.298 2.461 3.298 2.391Z' id='g4-40'/>
-<path d='M2.879 -2.491C2.879 -3.268 2.77 -4.473 2.222 -5.599C1.624 -6.824 0.767 -7.472 0.667 -7.472C0.608 -7.472 0.568 -7.432 0.568 -7.372C0.568 -7.342 0.568 -7.323 0.757 -7.143C1.733 -6.157 2.301 -4.573 2.301 -2.491C2.301 -0.787 1.933 0.966 0.697 2.222C0.568 2.341 0.568 2.361 0.568 2.391C0.568 2.451 0.608 2.491 0.667 2.491C0.767 2.491 1.664 1.813 2.252 0.548C2.76 -0.548 2.879 -1.654 2.879 -2.491Z' id='g4-41'/>
-<path d='M4.331 -1.576C4.442 -1.576 4.61 -1.576 4.61 -1.743C4.61 -1.918 4.449 -1.918 4.331 -1.918H1.102C1.206 -2.929 2.05 -3.682 3.138 -3.682H4.331C4.442 -3.682 4.61 -3.682 4.61 -3.85C4.61 -4.024 4.449 -4.024 4.331 -4.024H3.11C1.813 -4.024 0.753 -3.006 0.753 -1.75C0.753 -0.467 1.827 0.53 3.11 0.53H4.331C4.442 0.53 4.61 0.53 4.61 0.363C4.61 0.188 4.449 0.188 4.331 0.188H3.138C2.05 0.188 1.206 -0.565 1.102 -1.576H4.331Z' id='g1-50'/>
-<path d='M4.979 -4.666C5.028 -4.749 5.035 -4.77 5.035 -4.805C5.035 -4.896 4.965 -4.979 4.861 -4.979C4.77 -4.979 4.721 -4.917 4.686 -4.847L1.241 1.172C1.193 1.255 1.186 1.276 1.186 1.311C1.186 1.402 1.255 1.485 1.36 1.485C1.451 1.485 1.499 1.423 1.534 1.353L4.979 -4.666Z' id='g1-54'/>
-<path d='M2.308 -4.226C2.308 -4.366 2.308 -4.575 2.525 -4.77C2.734 -4.951 2.999 -5.014 3.271 -5.035C3.368 -5.042 3.417 -5.042 3.417 -5.133C3.417 -5.23 3.347 -5.23 3.243 -5.23C2.497 -5.23 1.771 -4.917 1.764 -4.352V-2.713C1.764 -2.532 1.764 -2.308 1.534 -2.106C1.367 -1.974 1.144 -1.862 0.795 -1.841C0.711 -1.834 0.656 -1.834 0.656 -1.743S0.718 -1.653 0.774 -1.646C1.604 -1.59 1.757 -1.109 1.764 -0.914V0.725C1.764 0.914 1.764 1.227 2.134 1.465C2.525 1.716 3.068 1.743 3.243 1.743C3.347 1.743 3.417 1.743 3.417 1.646C3.417 1.555 3.354 1.548 3.299 1.548C2.643 1.513 2.378 1.2 2.322 0.941C2.308 0.872 2.308 0.823 2.308 0.725V-0.739C2.308 -0.941 2.308 -1.193 2.127 -1.381C2.029 -1.471 1.869 -1.639 1.478 -1.743C1.757 -1.82 2.225 -2.008 2.301 -2.483C2.308 -2.525 2.308 -2.538 2.308 -2.762V-4.226Z' id='g1-102'/>
-<path d='M2.308 -0.774C2.308 -0.955 2.308 -1.179 2.538 -1.381C2.706 -1.513 2.929 -1.625 3.278 -1.646C3.361 -1.653 3.417 -1.653 3.417 -1.743S3.354 -1.834 3.299 -1.841C2.469 -1.897 2.315 -2.378 2.308 -2.573V-4.212C2.308 -4.4 2.308 -4.714 1.939 -4.951C1.548 -5.202 1.004 -5.23 0.83 -5.23C0.732 -5.23 0.656 -5.23 0.656 -5.133C0.656 -5.042 0.718 -5.035 0.774 -5.035C1.43 -5 1.695 -4.686 1.75 -4.428C1.764 -4.359 1.764 -4.31 1.764 -4.212V-2.748C1.764 -2.545 1.764 -2.294 1.946 -2.106C2.043 -2.015 2.204 -1.848 2.594 -1.743C2.315 -1.667 1.848 -1.478 1.771 -1.004C1.764 -0.962 1.764 -0.948 1.764 -0.725V0.739C1.764 0.879 1.764 1.088 1.548 1.283C1.339 1.465 1.074 1.527 0.802 1.548C0.704 1.555 0.656 1.555 0.656 1.646C0.656 1.743 0.732 1.743 0.83 1.743C1.576 1.743 2.301 1.43 2.308 0.865V-0.774Z' id='g1-103'/>
 <path d='M8.309 -2.291C7.761 -1.873 7.492 -1.465 7.412 -1.335C6.964 -0.648 6.884 -0.02 6.884 -0.01C6.884 0.11 7.004 0.11 7.083 0.11C7.253 0.11 7.263 0.09 7.303 -0.09C7.532 -1.066 8.12 -1.903 9.245 -2.361C9.365 -2.401 9.395 -2.421 9.395 -2.491S9.335 -2.59 9.315 -2.6C8.877 -2.77 7.671 -3.268 7.293 -4.941C7.263 -5.061 7.253 -5.091 7.083 -5.091C7.004 -5.091 6.884 -5.091 6.884 -4.971C6.884 -4.951 6.974 -4.324 7.392 -3.656C7.592 -3.357 7.88 -3.009 8.309 -2.69H0.907C0.727 -2.69 0.548 -2.69 0.548 -2.491S0.727 -2.291 0.907 -2.291H8.309Z' id='g0-33'/>
 <path d='M6.087 -3.188C6.087 -3.517 6.057 -3.547 5.738 -3.547H0.897C0.727 -3.547 0.548 -3.547 0.548 -3.347S0.727 -3.148 0.897 -3.148H5.689V-1.245C5.689 -1.066 5.689 -0.887 5.888 -0.887S6.087 -1.066 6.087 -1.245V-3.188Z' id='g0-58'/>
-<path d='M0.448 1.215C0.369 1.554 0.349 1.624 -0.09 1.624C-0.209 1.624 -0.319 1.624 -0.319 1.813C-0.319 1.893 -0.269 1.933 -0.189 1.933C0.08 1.933 0.369 1.903 0.648 1.903C0.976 1.903 1.315 1.933 1.634 1.933C1.684 1.933 1.813 1.933 1.813 1.733C1.813 1.624 1.714 1.624 1.574 1.624C1.076 1.624 1.076 1.554 1.076 1.465C1.076 1.345 1.494 -0.279 1.564 -0.528C1.694 -0.239 1.973 0.11 2.481 0.11C3.636 0.11 4.882 -1.345 4.882 -2.809C4.882 -3.746 4.314 -4.403 3.557 -4.403C3.059 -4.403 2.58 -4.045 2.252 -3.656C2.152 -4.194 1.724 -4.403 1.355 -4.403C0.897 -4.403 0.707 -4.015 0.618 -3.836C0.438 -3.497 0.309 -2.899 0.309 -2.869C0.309 -2.77 0.408 -2.77 0.428 -2.77C0.528 -2.77 0.538 -2.78 0.598 -2.999C0.767 -3.706 0.966 -4.184 1.325 -4.184C1.494 -4.184 1.634 -4.105 1.634 -3.726C1.634 -3.497 1.604 -3.387 1.564 -3.218L0.448 1.215ZM2.202 -3.108C2.271 -3.377 2.54 -3.656 2.72 -3.806C3.068 -4.115 3.357 -4.184 3.527 -4.184C3.925 -4.184 4.164 -3.836 4.164 -3.248S3.836 -1.514 3.656 -1.136C3.318 -0.438 2.839 -0.11 2.471 -0.11C1.813 -0.11 1.684 -0.936 1.684 -0.996C1.684 -1.016 1.684 -1.036 1.714 -1.156L2.202 -3.108Z' id='g2-112'/>
 <path d='M1.583 -0.398C1.583 -0.649 1.374 -0.802 1.186 -0.802C0.955 -0.802 0.781 -0.614 0.781 -0.404C0.781 -0.153 0.99 0 1.179 0C1.409 0 1.583 -0.188 1.583 -0.398Z' id='g3-58'/>
 <path d='M1.471 -0.112C1.471 0.272 1.402 0.718 0.928 1.165C0.9 1.193 0.879 1.213 0.879 1.248C0.879 1.297 0.934 1.346 0.976 1.346C1.074 1.346 1.667 0.788 1.667 -0.042C1.667 -0.474 1.499 -0.802 1.179 -0.802C0.948 -0.802 0.781 -0.621 0.781 -0.404C0.781 -0.181 0.941 0 1.186 0C1.353 0 1.465 -0.112 1.471 -0.112Z' id='g3-59'/>
 <path d='M2.26 -4.359C2.26 -4.47 2.176 -4.624 1.981 -4.624C1.792 -4.624 1.59 -4.442 1.59 -4.24C1.59 -4.122 1.681 -3.975 1.869 -3.975C2.071 -3.975 2.26 -4.17 2.26 -4.359ZM0.837 -0.816C0.809 -0.725 0.774 -0.642 0.774 -0.523C0.774 -0.195 1.053 0.07 1.437 0.07C2.134 0.07 2.441 -0.893 2.441 -0.997C2.441 -1.088 2.35 -1.088 2.329 -1.088C2.232 -1.088 2.225 -1.046 2.197 -0.969C2.036 -0.411 1.73 -0.126 1.458 -0.126C1.318 -0.126 1.283 -0.216 1.283 -0.37C1.283 -0.53 1.332 -0.663 1.395 -0.816C1.465 -1.004 1.541 -1.193 1.618 -1.374C1.681 -1.541 1.932 -2.176 1.96 -2.26C1.981 -2.329 2.001 -2.413 2.001 -2.483C2.001 -2.81 1.723 -3.075 1.339 -3.075C0.649 -3.075 0.328 -2.127 0.328 -2.008C0.328 -1.918 0.425 -1.918 0.446 -1.918C0.544 -1.918 0.551 -1.953 0.572 -2.029C0.753 -2.629 1.06 -2.88 1.318 -2.88C1.43 -2.88 1.492 -2.824 1.492 -2.636C1.492 -2.476 1.451 -2.371 1.276 -1.939L0.837 -0.816Z' id='g3-105'/>
@@ -319,6 +312,13 @@
 <path d='M2.336 -4.435C2.336 -4.624 2.322 -4.631 2.127 -4.631C1.681 -4.191 1.046 -4.184 0.76 -4.184V-3.933C0.928 -3.933 1.388 -3.933 1.771 -4.129V-0.572C1.771 -0.342 1.771 -0.251 1.074 -0.251H0.809V0C0.934 -0.007 1.792 -0.028 2.05 -0.028C2.267 -0.028 3.145 -0.007 3.299 0V-0.251H3.034C2.336 -0.251 2.336 -0.342 2.336 -0.572V-4.435Z' id='g5-49'/>
 <path d='M2.915 -2.078C2.915 -0.349 2.057 -0.084 1.639 -0.084C1.485 -0.084 1.116 -0.098 0.928 -0.314C1.213 -0.342 1.234 -0.579 1.234 -0.642C1.234 -0.816 1.116 -0.969 0.907 -0.969S0.572 -0.83 0.572 -0.628C0.572 -0.153 0.969 0.139 1.646 0.139C2.643 0.139 3.585 -0.802 3.585 -2.294C3.585 -4.024 2.817 -4.631 2.001 -4.631C1.771 -4.631 1.29 -4.596 0.893 -4.205C0.656 -3.975 0.377 -3.703 0.377 -3.075C0.377 -2.19 1.081 -1.534 1.897 -1.534C2.455 -1.534 2.755 -1.904 2.915 -2.218V-2.078ZM1.932 -1.73C1.66 -1.73 1.402 -1.82 1.206 -2.141C1.046 -2.399 1.046 -2.692 1.046 -3.075C1.046 -3.48 1.046 -3.759 1.248 -4.038C1.416 -4.282 1.646 -4.428 2.008 -4.428C2.364 -4.428 2.573 -4.205 2.685 -4.024C2.873 -3.731 2.894 -3.243 2.894 -2.999C2.894 -2.092 2.371 -1.73 1.932 -1.73Z' id='g5-57'/>
 <path d='M5.356 -2.343C5.461 -2.343 5.621 -2.343 5.621 -2.518C5.621 -2.685 5.454 -2.685 5.363 -2.685H0.746C0.656 -2.685 0.488 -2.685 0.488 -2.518C0.488 -2.343 0.649 -2.343 0.753 -2.343H5.356ZM5.363 -0.809C5.454 -0.809 5.621 -0.809 5.621 -0.976C5.621 -1.151 5.461 -1.151 5.356 -1.151H0.753C0.649 -1.151 0.488 -1.151 0.488 -0.976C0.488 -0.809 0.656 -0.809 0.746 -0.809H5.363Z' id='g5-61'/>
+<path d='M4.331 -1.576C4.442 -1.576 4.61 -1.576 4.61 -1.743C4.61 -1.918 4.449 -1.918 4.331 -1.918H1.102C1.206 -2.929 2.05 -3.682 3.138 -3.682H4.331C4.442 -3.682 4.61 -3.682 4.61 -3.85C4.61 -4.024 4.449 -4.024 4.331 -4.024H3.11C1.813 -4.024 0.753 -3.006 0.753 -1.75C0.753 -0.467 1.827 0.53 3.11 0.53H4.331C4.442 0.53 4.61 0.53 4.61 0.363C4.61 0.188 4.449 0.188 4.331 0.188H3.138C2.05 0.188 1.206 -0.565 1.102 -1.576H4.331Z' id='g1-50'/>
+<path d='M4.979 -4.666C5.028 -4.749 5.035 -4.77 5.035 -4.805C5.035 -4.896 4.965 -4.979 4.861 -4.979C4.77 -4.979 4.721 -4.917 4.686 -4.847L1.241 1.172C1.193 1.255 1.186 1.276 1.186 1.311C1.186 1.402 1.255 1.485 1.36 1.485C1.451 1.485 1.499 1.423 1.534 1.353L4.979 -4.666Z' id='g1-54'/>
+<path d='M2.308 -4.226C2.308 -4.366 2.308 -4.575 2.525 -4.77C2.734 -4.951 2.999 -5.014 3.271 -5.035C3.368 -5.042 3.417 -5.042 3.417 -5.133C3.417 -5.23 3.347 -5.23 3.243 -5.23C2.497 -5.23 1.771 -4.917 1.764 -4.352V-2.713C1.764 -2.532 1.764 -2.308 1.534 -2.106C1.367 -1.974 1.144 -1.862 0.795 -1.841C0.711 -1.834 0.656 -1.834 0.656 -1.743S0.718 -1.653 0.774 -1.646C1.604 -1.59 1.757 -1.109 1.764 -0.914V0.725C1.764 0.914 1.764 1.227 2.134 1.465C2.525 1.716 3.068 1.743 3.243 1.743C3.347 1.743 3.417 1.743 3.417 1.646C3.417 1.555 3.354 1.548 3.299 1.548C2.643 1.513 2.378 1.2 2.322 0.941C2.308 0.872 2.308 0.823 2.308 0.725V-0.739C2.308 -0.941 2.308 -1.193 2.127 -1.381C2.029 -1.471 1.869 -1.639 1.478 -1.743C1.757 -1.82 2.225 -2.008 2.301 -2.483C2.308 -2.525 2.308 -2.538 2.308 -2.762V-4.226Z' id='g1-102'/>
+<path d='M2.308 -0.774C2.308 -0.955 2.308 -1.179 2.538 -1.381C2.706 -1.513 2.929 -1.625 3.278 -1.646C3.361 -1.653 3.417 -1.653 3.417 -1.743S3.354 -1.834 3.299 -1.841C2.469 -1.897 2.315 -2.378 2.308 -2.573V-4.212C2.308 -4.4 2.308 -4.714 1.939 -4.951C1.548 -5.202 1.004 -5.23 0.83 -5.23C0.732 -5.23 0.656 -5.23 0.656 -5.133C0.656 -5.042 0.718 -5.035 0.774 -5.035C1.43 -5 1.695 -4.686 1.75 -4.428C1.764 -4.359 1.764 -4.31 1.764 -4.212V-2.748C1.764 -2.545 1.764 -2.294 1.946 -2.106C2.043 -2.015 2.204 -1.848 2.594 -1.743C2.315 -1.667 1.848 -1.478 1.771 -1.004C1.764 -0.962 1.764 -0.948 1.764 -0.725V0.739C1.764 0.879 1.764 1.088 1.548 1.283C1.339 1.465 1.074 1.527 0.802 1.548C0.704 1.555 0.656 1.555 0.656 1.646C0.656 1.743 0.732 1.743 0.83 1.743C1.576 1.743 2.301 1.43 2.308 0.865V-0.774Z' id='g1-103'/>
+<path d='M0.448 1.215C0.369 1.554 0.349 1.624 -0.09 1.624C-0.209 1.624 -0.319 1.624 -0.319 1.813C-0.319 1.893 -0.269 1.933 -0.189 1.933C0.08 1.933 0.369 1.903 0.648 1.903C0.976 1.903 1.315 1.933 1.634 1.933C1.684 1.933 1.813 1.933 1.813 1.733C1.813 1.624 1.714 1.624 1.574 1.624C1.076 1.624 1.076 1.554 1.076 1.465C1.076 1.345 1.494 -0.279 1.564 -0.528C1.694 -0.239 1.973 0.11 2.481 0.11C3.636 0.11 4.882 -1.345 4.882 -2.809C4.882 -3.746 4.314 -4.403 3.557 -4.403C3.059 -4.403 2.58 -4.045 2.252 -3.656C2.152 -4.194 1.724 -4.403 1.355 -4.403C0.897 -4.403 0.707 -4.015 0.618 -3.836C0.438 -3.497 0.309 -2.899 0.309 -2.869C0.309 -2.77 0.408 -2.77 0.428 -2.77C0.528 -2.77 0.538 -2.78 0.598 -2.999C0.767 -3.706 0.966 -4.184 1.325 -4.184C1.494 -4.184 1.634 -4.105 1.634 -3.726C1.634 -3.497 1.604 -3.387 1.564 -3.218L0.448 1.215ZM2.202 -3.108C2.271 -3.377 2.54 -3.656 2.72 -3.806C3.068 -4.115 3.357 -4.184 3.527 -4.184C3.925 -4.184 4.164 -3.836 4.164 -3.248S3.836 -1.514 3.656 -1.136C3.318 -0.438 2.839 -0.11 2.471 -0.11C1.813 -0.11 1.684 -0.936 1.684 -0.996C1.684 -1.016 1.684 -1.036 1.714 -1.156L2.202 -3.108Z' id='g2-112'/>
+<path d='M3.298 2.391C3.298 2.361 3.298 2.341 3.128 2.172C1.883 0.917 1.564 -0.966 1.564 -2.491C1.564 -4.224 1.943 -5.958 3.168 -7.203C3.298 -7.323 3.298 -7.342 3.298 -7.372C3.298 -7.442 3.258 -7.472 3.198 -7.472C3.098 -7.472 2.202 -6.795 1.614 -5.529C1.106 -4.433 0.986 -3.328 0.986 -2.491C0.986 -1.714 1.096 -0.508 1.644 0.618C2.242 1.843 3.098 2.491 3.198 2.491C3.258 2.491 3.298 2.461 3.298 2.391Z' id='g4-40'/>
+<path d='M2.879 -2.491C2.879 -3.268 2.77 -4.473 2.222 -5.599C1.624 -6.824 0.767 -7.472 0.667 -7.472C0.608 -7.472 0.568 -7.432 0.568 -7.372C0.568 -7.342 0.568 -7.323 0.757 -7.143C1.733 -6.157 2.301 -4.573 2.301 -2.491C2.301 -0.787 1.933 0.966 0.697 2.222C0.568 2.341 0.568 2.361 0.568 2.391C0.568 2.451 0.608 2.491 0.667 2.491C0.767 2.491 1.664 1.813 2.252 0.548C2.76 -0.548 2.879 -1.654 2.879 -2.491Z' id='g4-41'/>
 <path d='M9.664 13.569C9.714 13.709 9.793 13.948 10.082 13.948C10.321 13.948 10.501 13.758 10.501 13.529C10.501 13.479 10.501 13.46 10.441 13.3L5.908 0.229C5.838 0.09 5.689 0 5.529 0C5.24 0 5.151 0.239 5.111 0.369L0.618 13.3C0.558 13.46 0.558 13.479 0.558 13.529C0.558 13.768 0.747 13.948 0.976 13.948C1.265 13.948 1.335 13.719 1.385 13.589L5.529 1.674L9.664 13.569Z' id='g6-94'/>
 <path d='M5.111 13.579C5.151 13.709 5.24 13.948 5.529 13.948S5.898 13.719 5.948 13.579L10.441 0.648C10.501 0.488 10.501 0.468 10.501 0.418C10.501 0.179 10.311 0 10.082 0C9.793 0 9.724 0.229 9.674 0.359L5.529 12.274L1.395 0.379C1.345 0.239 1.265 0 0.976 0C0.737 0 0.558 0.189 0.558 0.418C0.558 0.468 0.558 0.488 0.618 0.648L5.111 13.579Z' id='g6-95'/>
 </defs>
diff --git a/index.mdk b/index.mdk
@@ -42,7 +42,7 @@ which translates to:
     bigand $i in [1..9]:
       bigor $j in [1..9]:
         bigand $n,$m in [1..9],[1..9] when $m != $n:
-          p($i,$j,$n) => not p(i,j,m)
+          p($i,$j,$n) => not p($i,$j,$m)
         end
       end
     end
