Superposition Benchmark Key: ((top))