formalize structure