7If a man gives his neighbor money or goods for safekeeping and they are stolen from the neighbor’s house, the thief, if caught, must pay back double.
8If the thief is not found, the owner of the house must appear before the judges to determine whether he has taken his neighbor’s property.
— Exodus 22:7-8