Procedural compliance: expectations post-Mitchell?