["-r"
 "pq"
 "pr"
 "-pr"
 "rs"
 "r-q"
 "-s-q"] `eg set;


[{[x y z] z}] 									`sat def;

[[,] iterate] 									`flatten def;
[unit cons cons] 								`triple def;
[unit cons] 									`double def;
[#: !:] 									`enum def;

[swap dup enum 1 + $: [" " ,] map triple [ssr] iterate .: I ,] 			`rep def;
[swap dup enum rolldownd rollup [[fmt] left] map triple [line] each] 		`dsp def;
[double [[0 < " -" of][abs _: -1 + at]] right flatten]				`fmt def;

[triple
 [5 swap $			       ]
 [[@:][10 " " $][5 swap $] ifte flatten]
 [5 swap $ [,] iterate		       ] [i] each flatten ,: sysout] 		`line def;

[dup flatten " -" dvl ?: r0] 							`resolve def;
[{[s p q]q s q p [rep] right [tautology] each flatten r1 dsp}] 			`r0 def;
[{[s c]c c enum r2}] 								`r1 def;
[{[s c d]s c d c d 1 d _ c [#] left 1 c _ double [clash] each flatten s r3}] 	`r2 def;
[{[s c d j]}]									`r3 def;
[{[s c d j]}]									`r4 def;
[{[s c d j r]}]									`r5 def;
[{[s c d j]}]									`r6 def;

[unit cons [i -: dvl] [i swap -: dvl] cleave , ?:] 				`resolvent def;
[[dup #: swap] dip [-: lin [|] iterate] left &: [,] right] 			`clash def;
[[[[dup abs _: ?: #: [#:] dip =] nullary] [,:] [pop []]] ifte]			`tautology def;