Actually, slavery was effectively kept out by the compromise of 1850, but it is more fun to say "Wilmot Proviso".