This kind of elision is implemented.