docstring for conditioning on random symbol