I am pro vaccine, but also a bit of a procrastinator. Eventually I got the first dose, moderna, (today) and, yes, it has been approved by the FDA, ...although this is a more an argument of concern to me, given that the FDA continues to lie implicitly on cannabis.
That is the problem with the liars: sometimes they say the truth.
I do trust the FDA about the vaccine though.
Liars who *always* lie exists only in Smullyan's Island of Knight and Knaves, which is a good tool to explain Gödel's incompleteness and this by avoiding the Diagonal Lemma or the second recursion theorem of Kleene. Eventually we still needs those important lemma for the second incompleteness theorem and Löb and their relation with G* (the machine propositional theology).
Bruno