6 Jun
2022
6 Jun
'22
8:49 p.m.
Simplify: the reason I want to do this now, is I'm in a state of mind where it would be really nice to make a logical system that just expresses true simple things. A logical system that has generality would need a way of representing relations between things that can be operated on. My inhibitions seem to roughly equate it to the node concern, for me.