A New Tableaux System for KD. C. Q. D. 2020, 19.