Details in n0739