r n ¬ Qvi pro qvo.