Goncharov's five-term relation conjecture for the symbol of I3,1I_{3,1}I3,1
Goncharov's conjecture. There are rational functions fj(x,y,z)f_j(x,y,z)fj(x,y,z) such that