Based on a formalization of open formulas as statements in context. the paper presents a freshly new and abstract view of logics and specification formalisms. Generalizing concepts like sets of generators in Group Theory. underlying graph of a sketch in Category Theory. https://ashleyshomestores.shop/product-category/outdoor-swivel-glider-chair/