Terminal coalgebras