(Rap /\ Rpj) → Raj