Turning Variables Into Knowledge Matters