We show that, in markets with indivisibilties (typified by the Shapley-Scarf housing market), the strict core mechanism is categorically determined by three assumptions: individual rationality, Pareto optimality and strategy-proofness.