Proved correctness for variables.