Background Formal