Taking you to the card → Huge speed-ups in hypothesis generation, same old bottleneck in verification