Need better documentation
See TS Clause 9.7.1