re are two places U and V, subject A lives in U and subject B lives in V, and U- and V-environments are phenomenally indiscernible for A and B. Yet, similar things called `N' by both A and B are, really, examples of the natural kind K in U and K' in V, with 34 investigated in AI (as frames, scripts, etc.) are only a parasitic example of basic prototipical schemes. Already in logical analysis of language variational patterns and related thresholds have become manifest in counterfactuals --- in view of their ceteris paribus clauses. Even limiting ourselves to the logical point of view, research on non-monotonicity (implicit in the diagram above) has shown that it can be dealt with rigorously -- or rigorously explained away. Finally, the very applicability of mathematics, with its modular architecture, excludes a globally holistic heuristics. To summarize, the frame problem demands a finer mathematical description of symbolic Gestalten, a problem addressed in Peruzzi (1992). Optimal f