QIF normal form