I would need a big ass power supply <| sep |> On Nox , I usually see other people running around when I ' m on , though I ' m in a fairly late time zone most of the rest of the world is either asleep or at schoolwork . But it ' s hardly a crowded server . <| sep |> Idk , like I believed you , but I just commented on a post , so I don ' t know now <| sep |> Out of curiosity , since you mention propositional logic , have you studied type theory ? In type theory the proof of ' p not p is inconsistent ' is the following module Void type t private T of t val proof ' a ' a Void . t Void . t let proof a , nota nota aIf you ' re interested , here ' sastypes . html an introductory article . But the gist of it is , at the type level is conjunction , Void . t is nonexistence , and is implication .