Added finally semantics to tt.pdf