Did the Cards have to trade Tyler Greene?