Two evaluations of the same expression in the same context must always yield the same value. This is because there are no variables that can be changed.