should have everything local... now just to find the random value of t