Title: Quantified Derandomization