Formal Declaration view 3