"[P]Formal BUNDLE |F"