ifs != NULL ==> !ifs