Our Formal Structure