((r=>p)=>s)<=>(~p||s)