Wansing, H. Seeing to It That an Agent Forms a Belief. LLP 2004, 10, 185–197.