Module is in Obiba's group