Trace Typing view 1