Weak Crossover (WCO) has many puzzling properties, including that of being obviated by A-movement. We argue that the key to understanding WCO lies in the fact that traces and pronouns have a different semantics. Simply put, traces are interpreted as variables in classical logic; pronouns are interpreted as discourse markers in dynamic logic. The heart of this paper is devoted to exploring the syntactic consequences of this view, that are argued to be far reaching. Not only the basics of WCO follow without construction specific constraints, but one gains new interesting insight of the difference between A- vs. A’-chain, the EPP, and the nature of expletives.