[symbolic]