Thanks. The thing on #3 was intended as “I evaluate this to false”, the arrows in the original logic were meant to indicate that they were supposed to be implications of previous claims. Curious if others found that unclear or not, since if it wasn’t clear I don’t want to do it again without an explanation.
Thanks. The thing on #3 was intended as “I evaluate this to false”, the arrows in the original logic were meant to indicate that they were supposed to be implications of previous claims. Curious if others found that unclear or not, since if it wasn’t clear I don’t want to do it again without an explanation.