Formal Frame