P
Initializing...
JAO Theorem 5 per initial state, small-diameter regime $D < 12$ · Prove2Me