hard real group

.