obliviate for Sahai/Zhandry