McCarthy, John (1987) Formalization of two Puzzles Involving Knowledge. [Preprint]