Proper total domination in graphs | Synapse