I wonder if the new Darth Vader uses a Hilbert-style/natural deduction system, sequent calculus or tableaux method system to substantiate his switch to the dark side? #FirstOrderLogic #ThreeYearsOfKolenbachFinallyPaysOff