Sylvester domains and pro-p groups | Synapse