[Nitpicking] Trivalent logic Marc Nieper-Wißkirchen 31 Mar 2020 18:52 UTC