P
Initializing...
A regular connection segment has an open regular extension · Prove2Me