To provide some intuition about the problems which need to be addressed, we embark on an informal discussion of the requirements of a proper treatment of the reflective features. The representation problem is the key problem: Since the specializer performs memoization its representation of data differs from the natural representation of the underlying implementation.