Add the throw semantics table
Add tryJust definition
Final words of chap 6