Formal Background Ppt