prefix formalization complete