I was curious what people have been using as models for their greif operators. Any suggestions would be appreciated. I was thinking about maybe a maakrep model.