Rough manipulations