On Proper 2-Dominating Sets in Graphs | Synapse