Find!
x1 is a proposition/predication (statement with a truth value), stating that x2 is true
Brivla-form of du'u. x1 and x2 are identical (filling them would equate the two sumti). See fatci, jetnu, jitfa, jufra, bridi, nundumu