[PD] rabin~