NOT(Req)