double-domination Buis (2710) 4