Refined symbolics.