take away extra syntax-local-introduce