SKIP: Live page status OPEN; it lists 2 claimed proofs and Steve_Fan as currently working, so the mandatory no-duplication/no-collision rule applies.