Correspondence Problem
w
Conclusion: Matching can take place between higher-
order borders or tokens even when the constituents do not
match.
w
Does not comprise with Ullman’s conclusions.