Symbol: resolver