MYOPIC.LAW
SPEC 003 - 98%
↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔10
100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100
00→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→
0→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→0
→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→01
010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010
10∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨
0∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨0
∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨00
001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001
01¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬
1¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧
¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0
∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧01
0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧011
110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110
10↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔
0↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔1
↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔10
100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100
00→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→
0→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→0
→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→01
010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010
10∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨
0∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨0
∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨00
001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001
01¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬
1¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧
¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0
∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧01
0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧011
110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110
10↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔
0↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔1
↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔10
100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100
00→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→
0→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→0
→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→01
010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010
10∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨
0∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨0
∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨00
001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001
01¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬
1¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧
¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0
∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧01
0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧011
110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110
10↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔
0↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔1
↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔10
100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100
00→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→
0→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→0
→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→01
010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010
10∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨
0∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨0
∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨00
001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001
01¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬
1¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧
¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0
∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧01
0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧011
110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110
10↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔
0↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔1
↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔10
100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100
00→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→
0→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→0
→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→01
010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010
10∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨
0∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨0
∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨00
001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001
01¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬
1¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧
¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0
∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧01
0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧011
110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110
10↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔
0↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔1
↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔10
100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100
00→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→
0→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→0
→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→01
010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010
10∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨
0∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨0
∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨00
001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001
01¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬
1¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧
¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0
∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧01
0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧011
BLOCK 01
THE COMPUTABILITY OF LAW
The Whole World runs on Invisible Law
Contracts as State Machines
Obligations & Transitions
Jurisdiction as Runtime
SCROLL TO SEE THE NEXT BLOCK
MYOPIC.LAW
BLOCK 01
THE COMPUTABILITY OF LAW
- The Whole World runs on Invisible Law→
- Contracts as State Machines
- Obligations & Transitions
- Jurisdiction as Runtime
Block 01 / 03
Scroll to turn ↓