symbolic modification