Can we believe what x says? Yes, because a, b, and c (for proof of a, b, and c, see x).