Chapter 11. Non-finiteness, complementation and evidentiality