Implemented (not yet functional) Grover