When USDy is trading at or below $0.25, the protocol will utilize the predetermined mint price to mint new USDy. If the pool price is greater than the mint price, the protocol will use the pool price to mint. This means that, no matter what, the protocol always uses the greater of the two prices to mint USDy.