DDX3X and DDX3Y are redundant in protein synthesis