Formal Declaration view 1