toward symbolic match