P
Initializing...
Proposition 1: singleton occupancy reveals the adjacent-domain identifier · Prove2Me