In Becker's (1973) neoclassical marriage market model, matching is positively assortative if types are complements: i.e. match output is supermodular. We reprise this famous result assuming time-intensive partner search and transferable output. We prove existence of a search equilibrium with a...