Grover’s quantum searching algorithm is optimal | Synapse