Grover's formula

GPTKB entity