symbolic if eval