Let X be smooth over a regular, two-dimensional base scheme Y. We show that properly-meeting cycles on X intersect with positive multiplicity (in the sense of Serre's Tor-formula). When Y is one-dimensional - say, the ring of integers of a number field - we use these techniques to investigate the extent to which intersection multiplicities can detect transversality.