H. Wansing, “Seeing to it that an agent forms a belief”, LLP, vol. 10, no. 10, pp. 185–197, Jan. 2004.