Raoult's Law and Ideal Solutions