This should go down above `isSymbolX`.