prefix formalization