Check returns the result of exp for code use, exp evaluated exactly once.