Bonds can still be purchased even when BXC trades above 1 USDT (P > 1), however this nets the purchaser a loss when redeemed. For example, when 1 BXC = 1.1 USDT, a Bond is sold for 1.1 BXC. Since all Bonds can only be redeemed for 1 Cash, this yields the purchaser a net loss. Thus, bond purchases are only expected to occur when 1 BXC trades below 1 USDT. Although bond purchases at a BXC price above 1 USD is allowed in the contract, it is disabled in the BasisX Cash frontend to avoid user confusion.