fixed emptiness conditions