Twelf view 2