We will review Victor's paper P3904 tomorrow.