What should the Pirates do at the trade deadline?

Should the Pirates trade Mitch Keller and David Bednar at the trade deadline? Paul thinks it should be considered to acquire other assets, but Austin thinks it's nonsense and makes no sense to trade your All-Star starter when you think 2025 will be this regime's version of 2013.