to elide [ elided ; elided ]