note emptiness conditions