The authors combine complex-analytic and arithmetic tools to study the preperiodic points of one-dimensional complex dynamical systems. In particular, they show that if two complex rational functions f and g have infinitely many preperiodic points in common, then they must have the same Julia set.