Formal Background