`¬R`