 In (1980), Richard Routley conjectured that a constant domain semantics, in the sense that is familiar from modal logic, will characterize quantified relevant relevant logics. On this semantics, a universally quantified formula \(\forall xA(x)\) is true at a world if and only if \(A(x)\) is true on every interpretation of \(x\).