Text this: Hall's marriage theorem.