double super group

.