Formal view 3