staticEval not needed when in check.