the fundamental of computer science, black-box abstraction and Conventional interface

simple describe problem of identity of object and church encoding use clojure