It is used to evaluate expressions to values.
Done to make room for a real 'check' pass.