Let me philo'splain the argument. Trump := mn (malignant narcisist), generalizes to all MNs Functions have 1 or 0 as outputs, i.e. TRUE or FALSE If mn states ~knows(mn, Xi), for all i -> knows(mn, Xi) = 1 for all i. If mn states knows(mn, Yj), for all j -> knows(mn, Yj) = 0 for all j. 1/2
i and j are indices meant to define some finite set of truth claims, Xi, Xj, in 2 different but well defined domains of discourse. Would be interesting to fully Frege this out w the proper logic/symbols. Not sure how 1 parse's subjective claims such as "knows that" out in logic, maybe once did?