R : !r v. r.