Lying, Belief, and Knowledge