Nate Cull (.social)Hmm, Rulelog.
I *really* hope this is not the best synthesis of logic to date. It looks kinda... hairy.
How did we get from
0 = false
1 = true
to
Skolemize the monotonadic varptor function of the pre-literal dynastic modifier base importation exclusion-by-failure nonterminator defeasement
brennen