Turning Variables Into Knowledge