fixing existential assignment of boostSuffix and boostPrefix