Great video, my only hangup is: how can you translate the classical algorithm to a quantum one if it's a black box? And how did grover know that was possible? The premise of the problem is that f(n) isn't exactly known, yet Grover's relies on translating it to a set of quantum gates