Redirecting to Raoult's law