On the Completion of Pro-P Groups | Synapse