Added intensional eval part.