Grover's algorithm 2