Commit IFAndOnlyifexpression