passed symbol, I think