Formal Declaration view 2