Eight programs, three observers. For each one: decide what a public observer learns, then watch the program run over its entire secret input space and compare your answer with Denning's type checker.