Logic validity is not a guarantee of truth