Example QF.QInEQ.0