In case anyone wondered why the Marlins traded for 2 starting pitchers today